Skip to content

Conversation

@nrc
Copy link
Member

@nrc nrc commented Jun 8, 2015

r? @huonw

@brson
Copy link
Contributor

brson commented Jun 9, 2015

@bors r+

@bors
Copy link
Collaborator

bors commented Jun 9, 2015

📌 Commit b6520fd has been approved by brson

@bors
Copy link
Collaborator

bors commented Jun 10, 2015

⌛ Testing commit b6520fd with merge 473d7f0...

@bors
Copy link
Collaborator

bors commented Jun 10, 2015

💔 Test failed - auto-mac-64-opt

@bors
Copy link
Collaborator

bors commented Jun 12, 2015

☔ The latest upstream changes (presumably #26232) made this pull request unmergeable. Please resolve the merge conflicts.

@nrc
Copy link
Member Author

nrc commented Jun 14, 2015

@bors: r=brson

@bors
Copy link
Collaborator

bors commented Jun 14, 2015

📌 Commit 7182683 has been approved by brson

@bors
Copy link
Collaborator

bors commented Jun 14, 2015

⌛ Testing commit 7182683 with merge 4f3c19f...

bors added a commit that referenced this pull request Jun 14, 2015
@bors bors merged commit 7182683 into rust-lang:master Jun 15, 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.

4 participants