Commit 4735b7faf6be8578cd8109efead5b781abd1439d

Bruno Haible 2010-03-13T16:12:38

gnulib.info-[0-9] are generated.