From: H.G. Muller <h.g.muller@hccnet.nl>
Date: Fri, 2 Mar 2012 11:31:32 +0000 (+0100)
Subject: Merge branch 'v4.6.x' of git.sv.gnu.org:/srv/git/xboard
X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=b72b882722e75f944eef895459e050f4c9a88e52;p=xboard.git

Merge branch 'v4.6.x' of git.sv.gnu.org:/srv/git/xboard
---

b72b882722e75f944eef895459e050f4c9a88e52