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-17 15:52:53 +00:00
2021-12-07 21:57:59 +00:00
2021-12-17 15:44:48 +00:00
2021-10-11 21:49:50 +02:00
2021-12-04 18:18:09 +01:00
2021-12-17 16:39:21 +01:00