Skip to content

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

Merged
bors merged 2 commits into
rust-lang:masterfrom
spastorino:rename-rustc-guide2
Apr 4, 2020
Merged

Move rustc-guide submodule to rustc-dev-guide#69898
bors merged 2 commits into
rust-lang:masterfrom
spastorino:rename-rustc-guide2

Update src/tools/publish_toolstate.py

dcf7004
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs