From: Arun Persaud <arun@nubati.net>
Date: Thu, 21 Feb 2013 05:59:30 +0000 (-0800)
Subject: Merge branch 'master' into v4.7.x
X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=4887b20bf293368fae1f775f56ccee56232a05ac;p=xboard.git

Merge branch 'master' into v4.7.x
---

4887b20bf293368fae1f775f56ccee56232a05ac