Skip to content
This repository has been archived by the owner on Mar 14, 2023. It is now read-only.

Rename diagnostics.rs to error-codes.rs #211

Merged
merged 1 commit into from
Apr 26, 2019

Conversation

GuillaumeGomez
Copy link
Member

Update following rust-lang/rust#60025

@pietroalbini
Copy link
Member

Thanks!

@pietroalbini pietroalbini merged commit 8810737 into rust-lang:master Apr 26, 2019
@pietroalbini
Copy link
Member

Deployed.

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

Successfully merging this pull request may close these issues.

2 participants