Skip to content

Conversation

aidanhs
Copy link
Contributor

@aidanhs aidanhs commented Dec 22, 2016

@nikomatsakis
Copy link
Contributor

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Dec 22, 2016

📌 Commit 20b92db has been approved by nikomatsakis

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Dec 24, 2016
bors added a commit that referenced this pull request Dec 24, 2016
Rollup of 14 pull requests

- Successful merges: #37956, #38013, #38297, #38480, #38497, #38502, #38505, #38513, #38521, #38549, #38554, #38557, #38568, #38572
- Failed merges:
@bors bors merged commit 20b92db into rust-lang:master Dec 25, 2016
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