Skip to content

Apply suggestions from clippy 1.83#1110

Merged
djc merged 1 commit intomainfrom clippy-1.83Nov 29, 2024

Commits

Commits on Nov 29, 2024