Skip to content

Fix several clippy issues, most with nightly

Nick Mathewson requested to merge nickm/arti:clippy_20220614 into main

I hope that with this changes, our nightly CI will be green again.

Edited by Nick Mathewson

Merge request reports