Merge branch 'master' of ssh://karl@git.sv.gnu.org/srv/git/gnulib
authorKarl Berry <karl@freefriends.org>
Fri, 7 Dec 2007 17:53:27 +0000 (09:53 -0800)
committerKarl Berry <karl@freefriends.org>
Fri, 7 Dec 2007 17:53:27 +0000 (09:53 -0800)

Trivial merge