Merge branch 'master' of git.sv.gnu.org:/srv/git/xboard
authorH.G. Muller <h.g.muller@hccnet.nl>
Mon, 13 Feb 2012 21:04:30 +0000 (22:04 +0100)
committerH.G. Muller <h.g.muller@hccnet.nl>
Mon, 13 Feb 2012 21:04:30 +0000 (22:04 +0100)

Trivial merge