Commit 074b1188ea90da631ead2201ef66c7375d5a1e5c

Stefano Lattarini 2011-09-11T00:44:12

Merge branch 'maint' * maint: tests: fix spurious failure on fast machines