chiark / gitweb /
wdt: wdt-simple: Remove an unused variable
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 29 Jan 2021 22:54:55 +0000 (22:54 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 30 Jan 2021 00:39:31 +0000 (00:39 +0000)
commit3fb8994477cfcd8749d3e07ec373bd3b7c9f9323
treef262a9238317033c39371fde1660fd712eaf379a
parentba013b36c77dd4db39b3563c785d8edeb5323f07
wdt: wdt-simple: Remove an unused variable

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