Dominik Maier 2dd88998bd
Clippy fixes for latest toolchain (#471)
* from warning

* fix latest clippy

* clippy fixes++

* more nits
2022-01-17 11:02:42 +01:00
..
2022-01-13 11:32:57 +01:00
2022-01-13 11:32:57 +01:00
2022-01-13 11:32:57 +01:00
2022-01-13 11:32:57 +01:00
2022-01-13 11:32:57 +01:00
2022-01-13 11:32:57 +01:00
2022-01-13 11:32:57 +01:00
2022-01-13 11:32:57 +01:00
2022-01-13 11:32:57 +01:00
2022-01-13 11:32:57 +01:00
2022-01-13 11:32:57 +01:00
2022-01-13 11:32:57 +01:00