Merge branch 'master' of ssh://haible@git.sv.gnu.org/srv/git/gnulib
authorBruno Haible <bruno@clisp.org>
Sat, 7 Mar 2009 15:32:42 +0000 (16:32 +0100)
committerBruno Haible <bruno@clisp.org>
Sat, 7 Mar 2009 15:32:42 +0000 (16:32 +0100)

Trivial merge