Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Mar 9, 2020

Conversation

chrissimpkins
Copy link
Member

We decided to use a different URL for the guide. Sorry!

@RalfJung
Copy link
Member

RalfJung commented Mar 9, 2020

I guess the URLs we have on master are already broken so no harm done in merging this ASAP. ;)

@RalfJung RalfJung merged commit a71d34f into rust-lang:master Mar 9, 2020
@mark-i-m
Copy link
Member

mark-i-m commented Mar 9, 2020

Wow you're fast 💨

@chrissimpkins
Copy link
Member Author

Ty!!

@chrissimpkins
Copy link
Member Author

We are ready. URL is updated and live

@RalfJung
Copy link
Member

I was just at the PC and had nothing better to do when the email came, in such cases I can be fast. ;)

We are ready. URL is updated and live

Hm, the links here go 404 though.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants