Skip to content

Conversation

@emberian
Copy link
Contributor

@emberian emberian commented Jul 5, 2015

No description provided.

@Gankra
Copy link
Contributor

Gankra commented Jul 5, 2015

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Jul 5, 2015

📌 Commit fe96d76 has been approved by Gankro

@emberian
Copy link
Contributor Author

emberian commented Jul 5, 2015

@bors r=Gankro rollup

@bors
Copy link
Collaborator

bors commented Jul 5, 2015

📌 Commit 8e2ce46 has been approved by Gankro

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jul 5, 2015
bors added a commit that referenced this pull request Jul 5, 2015
@bors bors merged commit 8e2ce46 into rust-lang:master Jul 6, 2015
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