Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #5277 - chrissimpkins:rustc-dev-guide-transition, r=fli…
…p1995 Update rustc-guide to rustc-dev-guide The rustc-guide is being renamed to the rustc-dev-guide. The discussion is in rust-lang/rustc-dev-guide#470. This PR revises rustc-guide to rustc-dev-guide in the Readme Markdown file. Transition tracker: rust-lang/rustc-dev-guide#602
- Loading branch information