Skip to content

Conversation

@euclio
Copy link
Contributor

@euclio euclio commented Jul 31, 2020

Needed to unblock rust-lang/rust#74785.

@rust-highfive
Copy link

r? @alexcrichton

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

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 31, 2020
@ehuss
Copy link
Contributor

ehuss commented Jul 31, 2020

@bors r+
Let me know if you need assistance updating the submodule.

@bors
Copy link
Contributor

bors commented Jul 31, 2020

📌 Commit 537a020 has been approved by ehuss

@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 Jul 31, 2020
@bors
Copy link
Contributor

bors commented Jul 31, 2020

⌛ Testing commit 537a020 with merge e531f54...

@bors
Copy link
Contributor

bors commented Jul 31, 2020

☀️ Test successful - checks-actions
Approved by: ehuss
Pushing e531f54 to master...

@bors bors merged commit e531f54 into rust-lang:master Jul 31, 2020
@ehuss ehuss added this to the 1.47.0 milestone Feb 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

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