chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 89fadd5) | patch
wdt-hand: Clean up after regrab-race
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Apr 2021 11:37:45 +0000 (12:37 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Jul 2021 18:41:53 +0000 (19:41 +0100)
commit4dd254c57ecc416491a5b828e2a0c1c2cf7133a5
tree1301bc19e9671a54492705d70610c40339111a07tree | snapshot
parent89fadd5dd2951bac15980453e048f9243ed813fdcommit | diff
wdt-hand: Clean up after regrab-race

This will help when we add another test case here.

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