commit 8d7108702485dca61841a642202b892f8038e15c Merge: 4d56c0f 15996ac Author: Stefano Lattarini <stefano.lattar...@gmail.com> Date: Wed May 22 15:59:06 2013 +0200
Merge branch 'micro' into maint
* micro:
tests: remove some code duplication
cosmetics: remove a couple of extra whitespaces in tests
tests: two minor fixups
