Skip to content

rustbuild: Cleanup global lint settings#62438

Merged
bors merged 2 commits into
rust-lang:masterfrom
petrochenkov:buildwarn
Jul 7, 2019
Merged

rustbuild: Cleanup global lint settings#62438
bors merged 2 commits into
rust-lang:masterfrom
petrochenkov:buildwarn

Address review comments

36a5aa8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs