Merge branch 'maint' into HEAD
[gnushogi.git] / misc / gnuminishogi.tbk