Skip to content

[beta] backports#118390

Merged
bors merged 3 commits into
rust-lang:betafrom
cuviper:beta-next
Nov 28, 2023
Merged

[beta] backports#118390
bors merged 3 commits into
rust-lang:betafrom
cuviper:beta-next

Conversation

@cuviper

@cuviper cuviper commented Nov 27, 2023

Copy link
Copy Markdown
Member

r? ghost

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Nov 27, 2023
@cuviper

cuviper commented Nov 27, 2023

Copy link
Copy Markdown
Member Author

@bors r+ rollup=never

@bors

bors commented Nov 27, 2023

Copy link
Copy Markdown
Collaborator

📌 Commit 271143a has been approved by cuviper

It is now in the queue for this repository.

@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 Nov 27, 2023
@bors

bors commented Nov 28, 2023

Copy link
Copy Markdown
Collaborator

⌛ Testing commit 271143a with merge bd45872...

@bors

bors commented Nov 28, 2023

Copy link
Copy Markdown
Collaborator

☀️ Test successful - checks-actions
Approved by: cuviper
Pushing bd45872 to beta...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Nov 28, 2023
@bors bors merged commit bd45872 into rust-lang:beta Nov 28, 2023
@rustbot rustbot added this to the 1.75.0 milestone Nov 28, 2023
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. T-libs Relevant to the library team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants