Skip to content

Conversation

@GuillaumeGomez
Copy link
Member

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

mmmm, cake

@Manishearth
Copy link
Member

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Dec 7, 2015

📌 Commit 1b984b5 has been approved by Manishearth

@bors
Copy link
Collaborator

bors commented Dec 7, 2015

⌛ Testing commit 1b984b5 with merge 8864f2c...

@bors bors merged commit 1b984b5 into rust-lang:master Dec 7, 2015
@GuillaumeGomez GuillaumeGomez deleted the patch-5 branch December 7, 2015 22:39
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