Commit baddc20
committed
Make stable Clippy happy.
It seems preferable to have a clean CI based on stable Clippy,
than to accomodate a not-yet-released version.1 parent 58e829f commit baddc20
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
448 | 448 | | |
449 | 449 | | |
450 | 450 | | |
451 | | - | |
| 451 | + | |
452 | 452 | | |
453 | 453 | | |
454 | 454 | | |
| |||
0 commit comments