Commit 736fde9f6cf8d514ef30dc5d83fe2a41c3e22c9a

Stefano Lattarini 2011-10-06T16:14:46

Merge branch 'fix-pr9579' into maint * fix-pr9579: maintcheck: fix spurious failure regenerate Makefile.in