Merge branch 'master' of ssh://jmd@git.sv.gnu.org/srv/git/pspp
authorJohn Darrington <john@marilyn.intra>
Sat, 23 Aug 2008 00:59:00 +0000 (08:59 +0800)
committerJohn Darrington <john@marilyn.intra>
Sat, 23 Aug 2008 00:59:00 +0000 (08:59 +0800)

Trivial merge