Run clippy on public API too#2596
Merged
emilk merged 12 commits intomainfrom emilk/more-clippy-lintsJul 4, 2023
+89-52
Commits
Commits on Jul 3, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 4, 2023
- committed
- committed