Skip to content

Rename Pod to Copy #14066

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
May 10, 2014
Merged

Rename Pod to Copy #14066

merged 1 commit into from
May 10, 2014

Conversation

edwardw
Copy link
Contributor

@edwardw edwardw commented May 9, 2014

Some error messages still use the word Pod instead of Copy. Renames
them.

@alexcrichton
Copy link
Member

Would it be possible to add a test for this as well?

@edwardw
Copy link
Contributor Author

edwardw commented May 9, 2014

Certainly, will do.

Some error messages still use the word `Pod` instead of `Copy`. Renames
them.
@edwardw
Copy link
Contributor Author

edwardw commented May 9, 2014

Added a test. r?

bors added a commit that referenced this pull request May 10, 2014
Some error messages still use the word `Pod` instead of `Copy`. Renames
them.
@bors bors closed this May 10, 2014
@bors bors merged commit 0f25aad into rust-lang:master May 10, 2014
@edwardw edwardw deleted the pod-to-copy branch May 10, 2014 12:19
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