Skip to content

Remove rustc_session::config::rustc_short_optgroups#132891

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

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

Remove `rustc_session::config::rustc_short_optgroups`

8b4701d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs