Skip to content

rustc_session: allow overriding lint level of individual lints from a group#67885

Merged
bors merged 4 commits intorust-lang:masterfrom tobithiel:fix_group_lint_allow_overrideFeb 16, 2020