From: Yann Dirson <ydirson@free.fr>
Date: Mon, 10 Feb 2014 19:56:58 +0000 (+0100)
Subject: Merge branch 'maint'
X-Git-Url: http://winboard.nl/cgi-bin?p=gnushogi.git;a=commitdiff_plain;h=892f7a4fe59a00a1b1954d59e0e4b01efc5a9c5b

Merge branch 'maint'
---

892f7a4fe59a00a1b1954d59e0e4b01efc5a9c5b