Commit 8d7108702485dca61841a642202b892f8038e15c

Stefano Lattarini 2013-05-22T15:59:06

Merge branch 'micro' into maint * micro: tests: remove some code duplication cosmetics: remove a couple of extra whitespaces in tests tests: two minor fixups