Skip to content

Make clippy pedantic happy#499

Merged
tegioz merged 1 commit intomainfrom tegioz/clippy-pedanticNov 15, 2023

Commits

Commits on Nov 15, 2023