Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

fix: waker_getters tracking issue from 87021 for 96992. #16134

Merged
merged 1 commit into from
Feb 8, 2024
Merged

fix: waker_getters tracking issue from 87021 for 96992. #16134

merged 1 commit into from
Feb 8, 2024

Conversation

tvallotton
Copy link
Contributor

I was directed to make the fix here by this comment rust-lang/rust#118960 (comment).

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

lnicola commented Dec 18, 2023

Thanks!

Do you mind if we wait until the rust-lang/rust PR gets merged?

@Veykril Veykril added S-blocked Status: marked as blocked ❌ on something else such as an RFC or other implementation work. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jan 2, 2024
@Veykril
Copy link
Member

Veykril commented Feb 8, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Feb 8, 2024

📌 Commit 8dc66b5 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Feb 8, 2024

⌛ Testing commit 8dc66b5 with merge 6655960...

@bors
Copy link
Contributor

bors commented Feb 8, 2024

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

@bors bors merged commit 6655960 into rust-lang:master Feb 8, 2024
10 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
S-blocked Status: marked as blocked ❌ on something else such as an RFC or other implementation work.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants