Skip to content

Rollup of 3 pull requests#70525

Merged
bors merged 15 commits into
rust-lang:masterfrom
Centril:rollup-vj3esv3
Mar 29, 2020
Merged

Rollup of 3 pull requests#70525
bors merged 15 commits into
rust-lang:masterfrom
Centril:rollup-vj3esv3

Conversation

@Centril

@Centril Centril commented Mar 29, 2020

Copy link
Copy Markdown
Contributor

Successful merges:

Failed merges:

r? @ghost

@Centril

Centril commented Mar 29, 2020

Copy link
Copy Markdown
Contributor Author

@bors r+ p=3 rollup=never

@bors

bors commented Mar 29, 2020

Copy link
Copy Markdown
Collaborator

📌 Commit f31e563 has been approved by Centril

@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Mar 29, 2020
@bors

bors commented Mar 29, 2020

Copy link
Copy Markdown
Collaborator

⌛ Testing commit f31e563 with merge 8ab82b8...

@bors

bors commented Mar 29, 2020

Copy link
Copy Markdown
Collaborator

☀️ Test successful - checks-azure
Approved by: Centril
Pushing 8ab82b8 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Mar 29, 2020
@bors bors merged commit 8ab82b8 into rust-lang:master Mar 29, 2020
@Centril Centril deleted the rollup-vj3esv3 branch March 29, 2020 12:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants