Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

[beta] backports #118390

Merged
merged 3 commits into from
Nov 28, 2023
Merged

[beta] backports #118390

merged 3 commits into from
Nov 28, 2023

Conversation

cuviper
Copy link
Member

@cuviper cuviper commented Nov 27, 2023

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
Copy link
Member Author

cuviper commented Nov 27, 2023

@bors r+ rollup=never

@bors
Copy link
Contributor

bors commented Nov 27, 2023

📌 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
Copy link
Contributor

bors commented Nov 28, 2023

⌛ Testing commit 271143a with merge bd45872...

@bors
Copy link
Contributor

bors commented Nov 28, 2023

☀️ 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
# for free to join this conversation on GitHub. Already have an account? # 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