chiark / gitweb /
wdt: clean up conflict check
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 29 Jan 2021 21:15:08 +0000 (21:15 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 30 Jan 2021 00:39:31 +0000 (00:39 +0000)
commit9617dc0d007ac61c5e901a13feb60035bb2b7b64
treeef90585f7acfb3ae6a9f93bca44174c57200fbb9
parent8a86b9ea7ef25c87c8450f7ec5036e26b6e763dd
wdt: clean up conflict check

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
wdriver/wdt-simple.rs