Skip to content

Apply suggestions from Clippy 1.80#1603

Merged
djc merged 2 commits intomainfrom clippy-1.80Aug 5, 2024

Commits

Commits on Jul 25, 2024