Skip to content

Rename rustc guide#69747

Merged
bors merged 5 commits into
rust-lang:masterfrom
spastorino:rename-rustc-guide
Mar 12, 2020
Merged

Rename rustc guide#69747
bors merged 5 commits into
rust-lang:masterfrom
spastorino:rename-rustc-guide

rust-lang.github.io/rustc-dev-guide -> rustc-dev-guide.rust-lang.org

b3b32b7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs