Skip to content

Conversation

@HKalbasi
Copy link
Member

Fix part of #16827

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Mar 15, 2024
@HKalbasi
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Mar 15, 2024

📌 Commit eeff20d has been approved by HKalbasi

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Mar 15, 2024

⌛ Testing commit eeff20d with merge f9a4d05...

@bors
Copy link
Contributor

bors commented Mar 15, 2024

☀️ Test successful - checks-actions
Approved by: HKalbasi
Pushing f9a4d05 to master...

@bors bors merged commit f9a4d05 into rust-lang:master Mar 15, 2024
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