Skip to content

Apply suggestions from clippy 1.83#229

Merged
djc merged 1 commit intomainfrom
clippy-1.83
Nov 29, 2024
Merged

Apply suggestions from clippy 1.83#229
djc merged 1 commit intomainfrom
clippy-1.83

Commits

Commits on Nov 29, 2024