Skip to content

Conversation

Elinvynia
Copy link
Contributor

@Elinvynia Elinvynia commented May 22, 2020

This includes:

ehuss and others added 4 commits May 22, 2020 18:13
(cherry picked from commit 1776de9)
Fix #71584, fix #69683.

(cherry picked from commit a7b03ad)
(cherry picked from commit e7b0204)
@rust-highfive
Copy link
Contributor

r? @estebank

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

@rust-highfive
Copy link
Contributor

⚠️ Warning ⚠️

  • Pull requests are usually filed against the master branch for this repo, but this one is against beta. Please double check that you specified the right target!

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 22, 2020
@Mark-Simulacrum
Copy link
Member

r? @Mark-Simulacrum

@bors r+ rollup=never

@bors
Copy link
Collaborator

bors commented May 22, 2020

📌 Commit 9021f24 has been approved by Mark-Simulacrum

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels May 22, 2020
@Dylan-DPC-zz
Copy link

@bors p=1

@bors
Copy link
Collaborator

bors commented May 23, 2020

⌛ Testing commit 9021f24 with merge 02c25b3...

@bors
Copy link
Collaborator

bors commented May 23, 2020

☀️ Test successful - checks-azure
Approved by: Mark-Simulacrum
Pushing 02c25b3 to beta...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label May 23, 2020
@bors bors merged commit 02c25b3 into rust-lang:beta May 23, 2020
@Elinvynia Elinvynia deleted the backport branch July 6, 2020 05:48
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