Skip to content

Apply suggestions from clippy 1.95#288

Merged
djc merged 1 commit into
mainfrom
clippy-1.95
May 12, 2026
Merged

Apply suggestions from clippy 1.95#288
djc merged 1 commit into
mainfrom
clippy-1.95

Commits

Commits on May 12, 2026