Hide some lints which are not quite right the way they are reported to the user#52695
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 26, 2018
Merged
Hide some lints which are not quite right the way they are reported to the user#52695bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
