Move rustc-guide submodule to rustc-dev-guide#69898

Merged

bors merged 2 commits intorust-lang:masterfrom

spastorino:rename-rustc-guide2

Apr 4, 2020

Commits on Mar 24, 2020

Move rustc-guide submodule to rustc-dev-guide
spastorino
committed

Commits on Apr 4, 2020

Update src/tools/publish_toolstate.py

Xanewok
and
mati865
authored