Merge branch 'master' of git://git.sv.gnu.org/xboard
authorArun Persaud <arun@nubati.net>
Sun, 12 Jul 2009 23:11:43 +0000 (16:11 -0700)
committerArun Persaud <arun@nubati.net>
Sun, 12 Jul 2009 23:11:43 +0000 (16:11 -0700)

Trivial merge