Rename rustc_middle::lint::LintSource#80274
Merged
bors merged 2 commits intorust-lang:masterfrom Dec 25, 2020
pierwill:lintlevelsource
Merged
Rename rustc_middle::lint::LintSource#80274bors merged 2 commits intorust-lang:masterfrom pierwill:lintlevelsource
bors merged 2 commits intorust-lang:masterfrom
pierwill:lintlevelsource