Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Fix a typo #25360

Merged
merged 1 commit into from
May 13, 2015
Merged

Fix a typo #25360

merged 1 commit into from
May 13, 2015

Conversation

steveklabnik
Copy link
Member

Thanks @quantheory!

@rust-highfive
Copy link
Collaborator

r? @brson

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

@alexcrichton
Copy link
Member

@bors: r+ 4b5b966 rollup

Manishearth added a commit to Manishearth/rust that referenced this pull request May 13, 2015
@Manishearth
Rollup merge of rust-lang#25360 - steveklabnik:typo, r=alexcrichton
729c518 
Thanks @quantheory!
@Manishearth Manishearth mentioned this pull request May 13, 2015
Closed
@bors
Copy link
Contributor

bors commented May 13, 2015

⌛ Testing commit 4b5b966 with merge d7dae66...

steveklabnik added a commit to steveklabnik/rust that referenced this pull request May 13, 2015
@steveklabnik
Rollup merge of rust-lang#25360 - steveklabnik:typo, r=alexcrichton
12c93aa 
Thanks @quantheory!
@steveklabnik steveklabnik mentioned this pull request May 13, 2015
Merged
@bors
Copy link
Contributor

bors commented May 13, 2015

⛄ The build was interrupted to prioritize another pull request.

bors added a commit that referenced this pull request May 13, 2015
@bors
Auto merge of #25384 - steveklabnik:rollup, r=steveklabnik
5a341ec 
- Successful merges: #25308, #25360, #25363, #25365, #25371, #25372, #25376, #25379, #25382
- Failed merges:
@bors bors merged commit 4b5b966 into rust-lang:master May 13, 2015
@killercup killercup mentioned this pull request May 15, 2015
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@brson brson

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@steveklabnik @rust-highfive @alexcrichton @bors @brson