Skip to content

s/has gained/has not gained/g #27151

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
Jul 22, 2015
Merged

s/has gained/has not gained/g #27151

merged 1 commit into from
Jul 22, 2015

Conversation

pfalabella
Copy link
Contributor

I'm pretty sure this was a typo

I'm pretty sure this was a typo
@rust-highfive
Copy link
Contributor

r? @alexcrichton

(rust_highfive has picked a reviewer for you, use r? to override)

@steveklabnik
Copy link
Member

@bors: r+ rollup

@bors
Copy link
Collaborator

bors commented Jul 20, 2015

📌 Commit 31a62d3 has been approved by steveklabnik

@steveklabnik
Copy link
Member

nice catch, thank you

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 21, 2015
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 21, 2015
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 21, 2015
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 22, 2015
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 22, 2015
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 22, 2015
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 22, 2015
@bors bors merged commit 31a62d3 into rust-lang:master Jul 22, 2015
@pfalabella pfalabella deleted the patch-2 branch July 23, 2015 09:44
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.

5 participants