Skip to content

Apply clippy suggestions#870

Merged
JohnnyMorganz merged 1 commit intoJohnnyMorganz:mainfrom
alerque:clippy
Jun 28, 2024
Merged

Apply clippy suggestions#870
JohnnyMorganz merged 1 commit intoJohnnyMorganz:mainfrom
alerque:clippy

Commits

Commits on Jun 28, 2024