Skip to content

Remove clippy from some leftover lists of "possibly failing" tools#71830

Merged
bors merged 1 commit intorust-lang:masterfrom
oli-obk:subrepo_funness
May 5, 2020
Merged

Remove clippy from some leftover lists of "possibly failing" tools#71830
bors merged 1 commit intorust-lang:masterfrom
oli-obk:subrepo_funness

Commits

Commits on May 3, 2020