chiark / gitweb /
Suppress a lint for .get().is_some()
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 May 2026 18:07:28 +0000 (19:07 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 May 2026 21:24:01 +0000 (22:24 +0100)
commitddb451cef203ae442c31de50530f3965fdcb3aed
treeba6dbca748710d7b336d1a908b127153858eda81
parent873546904a1c10a05ca2ab538c619100996a7850
Suppress a lint for .get().is_some()

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