New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

poll: Fix old comment not relevant after a refactor in the original PR. #1729

Merged

Thomasdezeeuw merged 1 commit into tokio-rs:master from jasta:poll-fix-comment

Dec 6, 2023

Contributor

jasta commented Dec 6, 2023

Closes #1728


          poll: Fix old comment not relevant after a refactor in the original PR.

83e58c3

Closes tokio-rs#1728

Thomasdezeeuw approved these changes

View reviewed changes

Thomasdezeeuw merged commit bfc9d3d into tokio-rs:master

24 checks passed

Collaborator

Thomasdezeeuw commented Dec 6, 2023

Thanks @jasta

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet