Skip to content

Conversation

@GuillaumeGomez
Copy link
Member Author

@bors: r+ p=1

@bors
Copy link
Collaborator

bors commented Jan 12, 2017

📌 Commit 77b6b87 has been approved by GuillaumeGomez

@rust-highfive
Copy link
Contributor

r? @sfackler

(rust_highfive has picked a reviewer for you, use r? to override)

@bors
Copy link
Collaborator

bors commented Jan 12, 2017

⌛ Testing commit 77b6b87 with merge 117753d...

@bors
Copy link
Collaborator

bors commented Jan 12, 2017

💔 Test failed - status-travis

@APTy
Copy link

APTy commented Jan 13, 2017

It looks like #38629 is causing tests in this PR to fail

@bors
Copy link
Collaborator

bors commented Jan 13, 2017

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

@GuillaumeGomez
Copy link
Member Author

@APTy: I'll reopen it anyway.

@Centril Centril added the rollup A PR which is a rollup label Oct 24, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
rollup A PR which is a rollup
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants