Skip to content

Conversation

@RalfJung
Copy link
Member

No description provided.

@rustbot
Copy link
Collaborator

rustbot commented Nov 30, 2024

r? @Mark-Simulacrum

rustbot has assigned @Mark-Simulacrum.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@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 30, 2024
@RalfJung RalfJung force-pushed the const-stability-cleanup branch from bdee285 to fd97b65 Compare November 30, 2024 10:42
@jhpratt
Copy link
Member

jhpratt commented Dec 2, 2024

@bors r+

@bors
Copy link
Collaborator

bors commented Dec 2, 2024

📌 Commit 9182aa0 has been approved by jhpratt

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 Dec 2, 2024
@bors bors merged commit 8f7a106 into rust-lang:master Dec 2, 2024
6 checks passed
@rustbot rustbot added this to the 1.85.0 milestone Dec 2, 2024
@RalfJung RalfJung deleted the const-stability-cleanup branch December 2, 2024 16:57
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. 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.

5 participants