Skip to content

Conversation

@RalfJung
Copy link
Member

No description provided.

@RalfJung
Copy link
Member Author

Thanks to @saethlin for using this in rust-lang/rust#118805, I had no idea this existed. :)

@bors r+

@bors
Copy link
Contributor

bors commented Dec 11, 2023

📌 Commit 9875edc has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Dec 11, 2023

⌛ Testing commit 9875edc with merge fdde088...

@bors
Copy link
Contributor

bors commented Dec 11, 2023

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing fdde088 to master...

@bors bors merged commit fdde088 into rust-lang:master Dec 11, 2023
@RalfJung RalfJung deleted the waker-noop branch December 14, 2023 06:52
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.

2 participants