Merge branch 'master' of ssh://jmd@git.sv.gnu.org/srv/git/pspp
authorJohn Darrington <john@darrington.wattle.id.au>
Sun, 5 Oct 2008 09:46:25 +0000 (17:46 +0800)
committerJohn Darrington <john@darrington.wattle.id.au>
Sun, 5 Oct 2008 09:46:25 +0000 (17:46 +0800)

Trivial merge