Skip to content

Remove PROFILE forwarding from build.rs#17077

Merged
Jarcho merged 1 commit into
rust-lang:masterfrom
Jarcho:profile_fwd
Jun 10, 2026
Merged

Remove PROFILE forwarding from build.rs#17077
Jarcho merged 1 commit into
rust-lang:masterfrom
Jarcho:profile_fwd

Commits

Commits on Jun 10, 2026