Skip to content

Conversation

nikomatsakis
Copy link
Contributor

Fixes #32505

r? @eddyb

@eddyb
Copy link
Member

eddyb commented Apr 7, 2016

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Apr 7, 2016

📌 Commit 73389f6 has been approved by eddyb

Manishearth added a commit to Manishearth/rust that referenced this pull request Apr 8, 2016
Manishearth added a commit to Manishearth/rust that referenced this pull request Apr 10, 2016
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Apr 11, 2016
bors added a commit that referenced this pull request Apr 11, 2016
Rollup of 9 pull requests

- Successful merges: #32768, #32802, #32815, #32823, #32849, #32854, #32862, #32870, #32873
- Failed merges:
@bors bors merged commit 73389f6 into rust-lang:master Apr 12, 2016
@nikomatsakis nikomatsakis deleted the issue-32505 branch October 3, 2016 14:56
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