Andrea Fioraldi 31077765de
Fix CI (#862)
* Autofix with new clippy

* Clippy
2022-10-26 09:41:08 +02:00
..
2022-10-26 09:41:08 +02:00