Commit c4f363ff3d699eaa6b1e1cc079d33749957934c9

Stefano Lattarini 2011-09-26T21:50:37

Merge branch 'fix-pr9578' into maint * fix-pr9578: uninstall: "make uninstall" before "make install" works