Skip to content

Conversation

petrochenkov
Copy link
Contributor

A small remaining part of #63438.

@rust-highfive
Copy link
Contributor

r? @davidtwco

(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 Mar 24, 2020
@Centril
Copy link
Contributor

Centril commented Mar 29, 2020

r? @Centril @bors r+

@bors
Copy link
Collaborator

bors commented Mar 29, 2020

📌 Commit 7332305 has been approved by Centril

@rust-highfive rust-highfive assigned Centril and unassigned davidtwco Mar 29, 2020
@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 Mar 29, 2020
@bors
Copy link
Collaborator

bors commented Mar 29, 2020

⌛ Testing commit 7332305 with merge 8045865...

@bors
Copy link
Collaborator

bors commented Mar 29, 2020

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

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Mar 29, 2020
@bors bors merged commit 8045865 into rust-lang:master Mar 29, 2020
@petrochenkov petrochenkov deleted the nosmatch branch February 22, 2025 18:33
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