Commit 3f19ee5f2e2b7cef7f77893a280e2261bc5f711f

Stefano Lattarini 2013-05-26T14:09:20

Merge branch 'micro' into maint * micro: tests: adjust or remove some obsolete comments tests: remove some useless 'unset' of variables