From: Yann Dirson Date: Thu, 5 Dec 2013 22:31:07 +0000 (+0100) Subject: Merge branch 'maint' into master X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=b25be4481e49ce9e343ed301ab57be999e583083;p=gnushogi.git Merge branch 'maint' into master --- b25be4481e49ce9e343ed301ab57be999e583083