chiark / gitweb /
note suppression issue
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 3 Aug 2020 12:00:28 +0000 (13:00 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 3 Aug 2020 12:00:28 +0000 (13:00 +0100)
commit47c4f689942cfe2d205f5c2bce4afee101c33ff8
tree86c85f6617837716e5f1ff4229c21de0ab8b90c3
parent2425ea2e5d1a96e430a40a8de2903f3f45fa0643
note suppression issue
src/error.rs