This repository has been archived by the owner on Dec 20, 2024. It is now read-only.

Update lints for Rust 1.80#5

Merged

jwodder merged 2 commits intomainfrom lint-1.80

Jul 25, 2024

+3-1

Commits on Jul 25, 2024