Skip to content

Conversation

vessd
Copy link
Contributor

@vessd vessd commented Jan 13, 2016

@huonw
Copy link
Member

huonw commented Jan 13, 2016

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Jan 13, 2016

📌 Commit b986698 has been approved by huonw

Manishearth added a commit to Manishearth/rust that referenced this pull request Jan 14, 2016
bors added a commit that referenced this pull request Jan 14, 2016
@bors bors merged commit b986698 into rust-lang:master Jan 14, 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