Skip to content

mark deprecated option as deprecated in rustc_session to remove copypasta and small refactor#135126

Merged
bors merged 1 commit intorust-lang:masterfrom
klensy:deprecated-and-do-nothing
Jan 7, 2025

Commits

Commits on Jan 6, 2025