Skip to content

Add a mention to docs about promoting and demoting platform support - #162528

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
apiraino:mention-target-promotion-docs
Sep 9, 2026
Merged

Add a mention to docs about promoting and demoting platform support#162528
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
apiraino:mention-target-promotion-docs

Add a mention to docs about promoting and demoting platform support

159e961
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Sep 9, 2026 in 33s