Skip to content

Rename -Zdebuginfo-for-profiling switch#156887

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
zamazan4ik:rename-debuginfo-for-profiling-switch
May 30, 2026
Merged

Rename -Zdebuginfo-for-profiling switch#156887
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
zamazan4ik:rename-debuginfo-for-profiling-switch

Commits

Commits on May 24, 2026

Commits on May 29, 2026