Merge branch 'master' of ssh://haible@git.sv.gnu.org/srv/git/gnulib
authorBruno Haible <bruno@clisp.org>
Mon, 13 Oct 2008 00:35:20 +0000 (02:35 +0200)
committerBruno Haible <bruno@clisp.org>
Mon, 13 Oct 2008 00:35:20 +0000 (02:35 +0200)

Trivial merge