Skip to content

Conversation

@michaelwoerister
Copy link
Member

🙄

r? @wesleywiser

@wesleywiser
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Jan 12, 2024

📌 Commit 89aa140 has been approved by wesleywiser

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jan 12, 2024

⌛ Testing commit 89aa140 with merge b0d7923...

@bors
Copy link
Contributor

bors commented Jan 12, 2024

☀️ Test successful - checks-actions
Approved by: wesleywiser
Pushing b0d7923 to master...

@bors bors merged commit b0d7923 into rust-lang:master Jan 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants