Merge branch 'master' of ssh://haible@git.sv.gnu.org/srv/git/gnulib
authorBruno Haible <bruno@clisp.org>
Fri, 11 Apr 2008 10:01:17 +0000 (12:01 +0200)
committerBruno Haible <bruno@clisp.org>
Fri, 11 Apr 2008 10:01:17 +0000 (12:01 +0200)

Trivial merge