Skip to content

Apply fixes from clippy 1.88#263

Merged
djc merged 1 commit into
mainfrom
clippy-1.88
Jun 26, 2025
Merged

Apply fixes from clippy 1.88#263
djc merged 1 commit into
mainfrom
clippy-1.88

Commits

Commits on Jun 26, 2025