Skip to content

Remove rustc_session::config::rustc_short_optgroups#132891

Merged
bors merged 2 commits intorust-lang:masterfrom
Zalathar:short-opt-groups
Nov 11, 2024
Merged

Remove `rustc_session::config::rustc_short_optgroups`#132891
bors merged 2 commits intorust-lang:masterfrom
Zalathar:short-opt-groups

Commits