Commit 793245ab8245323201d23f435d9cc5464bb02e76

Bruno Haible 2008-10-13T02:35:20

Merge branch 'master' of ssh://haible@git.sv.gnu.org/srv/git/gnulib