Merge branch 'master' of ssh://jmd@git.sv.gnu.org/srv/git/pspp
authorJohn Darrington <john@darrington.wattle.id.au>
Mon, 1 Dec 2008 12:50:16 +0000 (21:50 +0900)
committerJohn Darrington <john@darrington.wattle.id.au>
Mon, 1 Dec 2008 12:50:16 +0000 (21:50 +0900)

Trivial merge