This repository was archived by the owner on Dec 29, 2022. It is now read-only.
Apply Clippy fixes #1327
+22
−20
Merged