bors[bot] 6674756c07
Merge #11041
11041: minor: Fix some clippy lints r=lnicola a=lnicola

bors r+

Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>
2021-12-17 15:52:53 +00:00
..
2021-12-14 12:38:20 +01:00
2021-12-17 17:35:10 +02:00
2021-12-14 15:57:58 +08:00
2021-12-17 17:35:10 +02:00
2021-12-17 17:46:20 +02:00
2021-12-17 15:52:53 +00:00
2021-12-12 19:36:14 +03:00
2021-12-17 17:46:20 +02:00