rustc-dev-guide subtree update#144803

Merged

bors merged 16 commits intorust-lang:masterfrom

tshepang:rdg-sync

Aug 3, 2025

Commits on Jul 30, 2025

Commits on Jul 31, 2025

Prepare for merging from rust-lang/rust
The rustc-josh-sync Cronjob Bot
committed
Merge ref '32e7a4b92b10' from rust-lang/rust
The rustc-josh-sync Cronjob Bot
committed
improve linking in the "Auxilirary builds" section of directive index
lolbinarycat
authored