chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ceecd4) | patch
wdt: Get rid of many redundant .release calls
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 21 Jul 2021 17:42:38 +0000 (18:42 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 21 Jul 2021 19:40:37 +0000 (20:40 +0100)
commitf7274d1320f215e4d05e7cf15daa00005f075a17
treed3770634dd007ff3ce51725e56b4c43d9b670e14tree | snapshot
parent6ceecd462d5717221f8fe8a8739c5e8619d4e318commit | diff
wdt: Get rid of many redundant .release calls

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