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

Trivial merge