Skip to content

Rename rustc_middle::lint::LevelSource to LevelAndSource#80935

Merged
bors merged 1 commit intorust-lang:masterfrom
pierwill:rustc_middle-levelandsource
Jan 13, 2021

Commits

Commits on Jan 12, 2021