Skip to content

Conversation

@HKalbasi
Copy link
Member

@HKalbasi HKalbasi commented Feb 6, 2023

fix #14087

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

@bors r+

@bors
Copy link
Contributor

bors commented Feb 6, 2023

📌 Commit 40cf8b4 has been approved by flodiebold

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Feb 6, 2023

⌛ Testing commit 40cf8b4 with merge 1d32a7b...

@bors
Copy link
Contributor

bors commented Feb 6, 2023

☀️ Test successful - checks-actions
Approved by: flodiebold
Pushing 1d32a7b to master...

@bors bors merged commit 1d32a7b into rust-lang:master Feb 6, 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