Merge branch 'hgm/fix-time-forfeit' into maint
commit8f3f537e2fe3b42b8063f002ef732c4dadd73465
authorYann Dirson <ydirson@free.fr>
Sat, 26 Jul 2014 18:03:16 +0000 (26 20:03 +0200)
committerYann Dirson <ydirson@free.fr>
Sat, 26 Jul 2014 18:03:16 +0000 (26 20:03 +0200)
tree676a96c040dde714838e74863f98d0468ce0d631
parent91a2804e7e49672eef8b75531d4551db20b95f83
parentebc2e490cf1f89a590a99b5fb9e7b1e17d2bce90
Merge branch 'hgm/fix-time-forfeit' into maint
gnushogi/tcontrl.c