Skip to content

Conversation

@GuillaumeGomez
Copy link
Member Author

@bors: r+ p=1

@bors
Copy link
Collaborator

bors commented Nov 11, 2017

📌 Commit 04785f7 has been approved by GuillaumeGomez

@bors
Copy link
Collaborator

bors commented Nov 11, 2017

⌛ Testing commit 04785f7 with merge 965ace5...

bors added a commit that referenced this pull request Nov 11, 2017
Rollup of 4 pull requests

- Successful merges: #45631, #45812, #45877, #45919
- Failed merges:
@bors
Copy link
Collaborator

bors commented Nov 11, 2017

☀️ Test successful - status-appveyor, status-travis
Approved by: GuillaumeGomez
Pushing 965ace5 to master...

@bors bors merged commit 04785f7 into rust-lang:master Nov 11, 2017
@GuillaumeGomez GuillaumeGomez deleted the rollup branch November 11, 2017 16:53
@Centril Centril added the rollup A PR which is a rollup label Oct 2, 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.

4 participants