Commit d07f7a22db22bb41c11d5982994c82600b9da6a8

Bruno Haible 2009-07-25T22:55:21

Undo last gnulib-tool commit: maintainer-makefile is fixed.