Skip to content

Make Clippy happy (batch 2025-09)#1920

Merged
folkertdev merged 3 commits intorust-lang:masterfrom
a4lg:clippy-warnings-2025.09
Sep 12, 2025
Merged

Make Clippy happy (batch 2025-09)#1920
folkertdev merged 3 commits intorust-lang:masterfrom
a4lg:clippy-warnings-2025.09

Commits

Commits on Sep 12, 2025