Skip to content

Conversation

sobolevn
Copy link
Member

@sobolevn sobolevn commented Mar 7, 2025

Closes #13566

Copy link
Contributor

github-actions bot commented Mar 7, 2025

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

Copy link
Collaborator

@srittau srittau left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@srittau srittau merged commit 0b6e42c into main Mar 7, 2025
43 checks passed
@srittau srittau deleted the issue-13566 branch March 7, 2025 10:33
mmingyu pushed a commit to mmingyu/typeshed that referenced this pull request May 16, 2025
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