From: Arun Persaud <arun@nubati.net>
Date: Sat, 11 Oct 2014 17:53:46 +0000 (-0700)
Subject: Merge branch 'master' into v4.8.x
X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=b52820a1e05e0bd5a7388561666d1703135870d0;p=xboard.git

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

b52820a1e05e0bd5a7388561666d1703135870d0