Commit cd3ad6df16f1adf468c29e4cf90f62095ac700c8

Bruno Haible 2006-07-29T14:58:37

Now taken from gnulib via gnulib-tool.