Skip to content

Some changes suggested by Clippy#128

Merged
mgeier merged 1 commit intomgeier:mainfrom mgeier-forks:clippy-suggestionsDec 15, 2024
+4-4

Commits

Commits on Dec 13, 2024