Closed GregoryConrad closed 3 months ago
Now that https://github.com/rust-lang/rust-clippy/pull/12827 was merged, this should pass soon-ish. Maybe tomorrow. Not sure on Clippy's release schedule.
Now that https://github.com/rust-lang/rust-clippy/pull/12827 was merged, this should pass soon-ish. Maybe tomorrow. Not sure on Clippy's release schedule.