Skip to content

Fix wording nit for E0253 #27156

New issue

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

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

Already on GitHub? # to your account

Merged
merged 1 commit into from
Jul 22, 2015
Merged

Fix wording nit for E0253 #27156

merged 1 commit into from
Jul 22, 2015

Conversation

AlisdairO
Copy link
Contributor

This is a resubmission of my previous git failure - apologies. Just fixing up a wording error that was discovered in E0253 after the r.

@Manishearth
Copy link
Member

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Jul 20, 2015

📌 Commit 3ae7b72 has been approved by Manishearth

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 21, 2015
…arth

This is a resubmission of my previous git failure - apologies.  Just fixing up a wording error that was discovered in E0253 after the r.

r? @Manishearth
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 21, 2015
…arth

This is a resubmission of my previous git failure - apologies.  Just fixing up a wording error that was discovered in E0253 after the r.

r? @Manishearth
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 21, 2015
…arth

This is a resubmission of my previous git failure - apologies.  Just fixing up a wording error that was discovered in E0253 after the r.

r? @Manishearth
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 22, 2015
…arth

This is a resubmission of my previous git failure - apologies.  Just fixing up a wording error that was discovered in E0253 after the r.

r? @Manishearth
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 22, 2015
…arth

This is a resubmission of my previous git failure - apologies.  Just fixing up a wording error that was discovered in E0253 after the r.

r? @Manishearth
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 22, 2015
…arth

This is a resubmission of my previous git failure - apologies.  Just fixing up a wording error that was discovered in E0253 after the r.

r? @Manishearth
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 22, 2015
…arth

This is a resubmission of my previous git failure - apologies.  Just fixing up a wording error that was discovered in E0253 after the r.

r? @Manishearth
@bors bors merged commit 3ae7b72 into rust-lang:master Jul 22, 2015
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants