Merge branch 'maint'
commitf1d6e23822c163bc622add544b808f8bf37e3cff
authorYann Dirson <ydirson@free.fr>
Mon, 14 Jul 2014 16:49:54 +0000 (14 18:49 +0200)
committerYann Dirson <ydirson@free.fr>
Mon, 14 Jul 2014 16:49:54 +0000 (14 18:49 +0200)
treed0571917ea8f35f12f53fab2686c2313d7f53fb3
parent29cc00c96d8a2a7599efc485f3421d0fe35aebc4
parente7f4fd27ffc50adfb8950c06c3ea77f7c7961c1d
Merge branch 'maint'

Conflicts:
Makefile.in
NEWS
NEWS
README
gnushogi/genmove.c
gnushogi/init.c