Rename rustc_middle::lint::LevelSource to LevelAndSource#80935
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 13, 2021
pierwill:rustc_middle-levelandsource
Merged
Rename rustc_middle::lint::LevelSource to LevelAndSource#80935bors merged 1 commit intorust-lang:masterfrom pierwill:rustc_middle-levelandsource
rustc_middle::lint::LevelSource to LevelAndSource#80935bors merged 1 commit intorust-lang:masterfrom
pierwill:rustc_middle-levelandsource
