Skip to content

Conversation

@tungol
Copy link
Contributor

@tungol tungol commented Nov 20, 2024

@AlexWaygood This MR has your late suggestions from #13044

@srittau srittau merged commit fd6f10c into python:main Nov 20, 2024
62 checks passed
@AlexWaygood
Copy link
Member

Thank you! I think srittau and I were reviewing your PR simultaneously there :-)

@tungol tungol deleted the socket branch November 20, 2024 18:53
@github-actions
Copy link
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@srittau
Copy link
Collaborator

srittau commented Nov 20, 2024

Thank you! I think srittau and I were reviewing your PR simultaneously there :-)

This time I was faster. 😁

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