Commit 8f28c111d5114351e61fde825c65204a52b332ea

Stefano Lattarini 2011-06-02T12:54:03

Merge branch 'master' into testsuite-work * master: maintcheck: fix some more failures maintcheck: fix some failures, extend some checks