chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 75bc4d0) | patch
wdt: Use w.piece_held()
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 29 Jan 2021 18:21:37 +0000 (18:21 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 29 Jan 2021 23:56:12 +0000 (23:56 +0000)
commit133feed60d940db96c8cf8f495cdc37a059f7a70
tree7cdb200a54a6fcc34b2d0b634b967605ba9592e0tree | snapshot
parent75bc4d0d542ca42a691de89d5d90ee29e96eb541commit | diff
wdt: Use w.piece_held()

Rather than the clone-and-hack copy.  Tidying up, NFC.

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.