Skip to content

Conversation

dtolnay
Copy link
Member

@dtolnay dtolnay commented Nov 24, 2023

Extracted from rust-lang/rust#118253.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 24, 2023
@lnicola
Copy link
Member

lnicola commented Nov 24, 2023

Thanks!

@bors r+

@bors
Copy link
Contributor

bors commented Nov 24, 2023

📌 Commit b68f531 has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 24, 2023

⌛ Testing commit b68f531 with merge 34cffbf...

@bors
Copy link
Contributor

bors commented Nov 24, 2023

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing 34cffbf to master...

@bors bors merged commit 34cffbf into rust-lang:master Nov 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants