Commit 60cd9bc070d62bb9046298792bf344d233620a14

Stefano Lattarini 2011-06-20T09:43:25

Merge branch 'am-distcheck-configure-flags' into maint