chiark / gitweb /
fix error
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 30 Jul 2021 17:33:26 +0000 (18:33 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 30 Jul 2021 17:33:26 +0000 (18:33 +0100)
commit03b4fd44baacf275e64d12bd48a7b47ca3cf11c2
treeb8d19b673d654be86d8e10293b387c4a51f8e7a8
parentd1c3629d5e71187cfd198f3897fbc23391ac76e2
fix error

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