Merge branch 'master' of ssh://karl@git.sv.gnu.org/srv/git/gnulib
authorKarl Berry <karl@freefriends.org>
Wed, 12 Mar 2008 22:38:55 +0000 (15:38 -0700)
committerKarl Berry <karl@freefriends.org>
Wed, 12 Mar 2008 22:38:55 +0000 (15:38 -0700)

Trivial merge