chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ba0f60) | patch
wdt-simple: Allow "piece held by another player" as if it were conflict
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Jul 2021 18:30:02 +0000 (19:30 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Jul 2021 18:41:53 +0000 (19:41 +0100)
commit9f9590030b0b56a785851884e0ba290e71f4c3da
tree7a355d55fb27cd69668411b659d285258b23ceddtree | snapshot
parent9ba0f60e2ac2f22f7b86d04ddf8c4c5b83db0cddcommit | diff
wdt-simple: Allow "piece held by another player" as if it were conflict

Regrab will allow us to try to grab the thing, not mind that it
doesn't work, and then get this conflict.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
wdriver/wdt-simple.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.