Skip to content

Rollup of 4 pull requests#71331

Merged
bors merged 10 commits into
rust-lang:masterfrom
Dylan-DPC-zz:rollup-5rn1isc
Apr 19, 2020
Merged

Rollup of 4 pull requests#71331
bors merged 10 commits into
rust-lang:masterfrom
Dylan-DPC-zz:rollup-5rn1isc

Conversation

@Dylan-DPC-zz

Copy link
Copy Markdown

Successful merges:

Failed merges:

r? @ghost

@Dylan-DPC-zz

Copy link
Copy Markdown
Author

@bors r+ p=4 rollup=never

@bors

bors commented Apr 19, 2020

Copy link
Copy Markdown
Collaborator

📌 Commit 9fc2443 has been approved by Dylan-DPC

@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 Apr 19, 2020
@bors

bors commented Apr 19, 2020

Copy link
Copy Markdown
Collaborator

⌛ Testing commit 9fc2443 with merge dbf8b6b...

@bors

bors commented Apr 19, 2020

Copy link
Copy Markdown
Collaborator

☀️ Test successful - checks-azure
Approved by: Dylan-DPC
Pushing dbf8b6b to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Apr 19, 2020
@bors bors merged commit dbf8b6b into rust-lang:master Apr 19, 2020
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.

8 participants