Skip to content

Apply suggestions from clippy 1.88#305

Merged
djc merged 1 commit intomainfrom
clippy-1.88
Jun 27, 2025
Merged

Apply suggestions from clippy 1.88#305
djc merged 1 commit intomainfrom
clippy-1.88

Commits

Commits on Jun 27, 2025