chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1fe9c24) | patch
hand: wdt: Check unclaim
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 15 Feb 2021 00:23:44 +0000 (00:23 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 15 Feb 2021 00:23:44 +0000 (00:23 +0000)
commit1e2b64ddb488abd26afe638466e38c04f0f22506
tree4d347a865595cc52db4943a19e9a5a3d73541b1etree | snapshot
parent1fe9c2461a34342b75dbf7888dc3261dda14d8fecommit | diff
hand: wdt: Check unclaim

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.