Commit 1ba50d12baadb27e463c6e6c73bf19ddd53c65e4

Stefano Lattarini 2011-11-03T11:28:56

Merge branch 'fix-pr9890' into maint * fix-pr9890: maint-mode: fix botched configure messages