Commit a16b838b03e759e5a98fdb9f1546d6ad302b3f4c

Stefano Lattarini 2012-05-05T16:39:10

Merge branch 'parallel-tests-performance' into maint * parallel-tests-performance: parallel-tests: separate different logs with an empty line