Skip to content

Improvements prompted by clippy, and disable one lint

Ian Jackson requested to merge Diziet/arti:clippy into main

Improvements prompted by current nightly's clippy.

Also disable one lint which I think is in rather poor taste.

Merge request reports