Skip to content

Conversation

@GuillaumeGomez
Copy link
Member

@Manishearth
Copy link
Member

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Oct 6, 2015

📌 Commit df7d3b9 has been approved by Manishearth

Manishearth added a commit to Manishearth/rust that referenced this pull request Oct 7, 2015
@bors
Copy link
Collaborator

bors commented Oct 7, 2015

⌛ Testing commit df7d3b9 with merge d454c82...

@bors bors merged commit df7d3b9 into rust-lang:master Oct 7, 2015
@GuillaumeGomez GuillaumeGomez deleted the patch-1 branch November 24, 2017 20:56
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