chiark / gitweb /
wdt: Fix parameter naming for retrieve_log
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 14 Mar 2021 20:44:53 +0000 (20:44 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 14 Mar 2021 20:46:05 +0000 (20:46 +0000)
commita63be0d80a2007da4fac969f7481a0199b79eda9
tree8f6be0f0836330b5d001499dcb21b83bcc1107ac
parent659e56360d36a2e311bd5340a0e9a6dca6ed8517
wdt: Fix parameter naming for retrieve_log

This had the wrong sense.  v. confusing.

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