chiark / gitweb /
hidden: get rid of a drain
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 2 Mar 2021 23:46:11 +0000 (23:46 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 2 Mar 2021 23:46:11 +0000 (23:46 +0000)
commitda156297876fafd077314a5a234f84a59da057f6
tree50307f7b932671d917ce79b0c01a9a175cd22b45
parente39c30146424eb29550c998db08f6815222cef6d
hidden: get rid of a drain

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