Skip to content

Clippy fixes for Rust 1.71#1186

Merged
pitdicker merged 1 commit intochronotope:0.4.xfrom pitdicker:clippy_1.71Jul 15, 2023

Commits

Commits on Jul 15, 2023