Simplify abort, fix time in corr games
authorBenjamin Auder <benjamin.auder@somewhere>
Thu, 23 Jan 2020 09:11:31 +0000 (10:11 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Thu, 23 Jan 2020 09:11:31 +0000 (10:11 +0100)

No differences found