Skip to content

remove redundant closures (clippy::redundant_closure)#80499

Merged
bors merged 1 commit intorust-lang:masterfrom
matthiaskrgr:red_clos
Jan 12, 2021

Commits

Commits on Jan 3, 2021