Commit 2ea2717733324ba9bd261167ea10b7252bdf985e

Stefano Lattarini 2011-06-11T12:47:56

Merge branch 'maint' * maint: test defs: new function 'fatal_', for hard errors