Change rustc-dev-guide links to point to rustc-dev-guide.rust-lang.org#39

Merged

RalfJung merged 1 commit intorust-lang:masterfrom

chrissimpkins:master

Mar 9, 2020

Commits on Mar 9, 2020

rename rust-lang.github.io to rustc-dev-guide.rust-lang.org
chrissimpkins
committed