Skip to content

Conversation

@WaffleLapkin
Copy link
Member

Supersedes #13765

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Dec 20, 2022
@Veykril
Copy link
Member

Veykril commented Dec 20, 2022

Thanks!
@bors r+

@bors
Copy link
Contributor

bors commented Dec 20, 2022

📌 Commit 874ff2b has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Dec 20, 2022

⌛ Testing commit 874ff2b with merge 761b127...

@bors
Copy link
Contributor

bors commented Dec 20, 2022

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 761b127 to master...

@bors bors merged commit 761b127 into rust-lang:master Dec 20, 2022
@WaffleLapkin WaffleLapkin deleted the typed_blåhaj branch January 14, 2023 12:02
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