Skip to content

Fix more clippy-isms, enable clippy in CI and Makefile#796

Merged
graydon merged 1 commit intomainfrom more-clippyMay 4, 2023