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-nothingJan 7, 2025

Commits

Commits on Jan 6, 2025