Skip to content

Conversation

SimonSapin
Copy link
Contributor

@alexcrichton
Copy link
Member

@bors: r+ d961323

@alexcrichton alexcrichton self-assigned this Mar 8, 2016
@bors
Copy link
Collaborator

bors commented Mar 10, 2016

⌛ Testing commit d961323 with merge 4b87655...

bors added a commit that referenced this pull request Mar 10, 2016
@bors bors merged commit d961323 into rust-lang:master Mar 10, 2016
@SimonSapin SimonSapin deleted the patch-11 branch March 19, 2016 08: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