Add a soft timer to avoid spending much more than 5 seconds on a move
authorBenjamin Auder <benjamin.auder@somewhere>
Tue, 27 Nov 2018 09:15:28 +0000 (10:15 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Tue, 27 Nov 2018 09:15:28 +0000 (10:15 +0100)

No differences found