Skip to content

rustc: Trim down the rust_2018_idioms lint group#52926

Merged
bors merged 1 commit intorust-lang:masterfrom
alexcrichton:trim-idioms-lints
Aug 1, 2018

Commits

Commits on Aug 1, 2018