Christof Petig 42faef9ab0 clippy is right,
but I don't want to rearrange print_sorted (test). so reduce overall strictness
2022-01-31 22:25:38 +01:00
..
2022-01-26 15:09:00 +02:00
2022-01-26 16:46:40 +02:00
2022-01-26 16:46:40 +02:00
2022-01-26 22:08:38 +01:00
2022-01-31 22:25:38 +01:00
2022-01-26 16:46:40 +02:00