Commit 6d19d6a8e4b7fbe4c2941cb83839c809ba58795c

Bruno Haible 2006-07-29T15:08:15

Will be generated by gnulib-tool from now on.