Skip to content

Remove useless -Zunpretty=identified option - #156876

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fallofpheonix:fix-unpretty-identified
May 24, 2026
Merged

Remove useless -Zunpretty=identified option#156876
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fallofpheonix:fix-unpretty-identified

Commits

Commits on May 24, 2026