Merge branch 'master' of git://git.sv.gnu.org/xboard
authorEric Mullins <emwine@earthlink.net>
Mon, 5 Oct 2009 07:07:01 +0000 (01:07 -0600)
committerEric Mullins <emwine@earthlink.net>
Mon, 5 Oct 2009 07:07:01 +0000 (01:07 -0600)

Trivial merge