Merge branch 'master' of ssh://karl@git.sv.gnu.org/srv/git/gnulib
authorKarl Berry <karl@freefriends.org>
Sat, 15 Dec 2007 14:41:32 +0000 (06:41 -0800)
committerKarl Berry <karl@freefriends.org>
Sat, 15 Dec 2007 14:41:32 +0000 (06:41 -0800)

Trivial merge