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

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

466523292d4a72a772dd4baf4ac5cd939f818888