Commit 549f3844cc9bca0dfd28d5631e0229922c7e709f

Stefano Lattarini 2011-11-07T16:07:25

Merge branch 'fix-pr9579' into maint * fix-pr9579: tests: fix spurious failure in 'distcheck-override-infodir.test'