Skip to content

Check that errno is not None - #18084

Merged
hauntsaninja merged 1 commit into
python:masterfrom
hauntsaninja:typeshed-change
Nov 1, 2024
Merged

hauntsaninja merged 1 commit into
python:masterfrom
hauntsaninja:typeshed-change

Conversation

@hauntsaninja

Copy link
Copy Markdown
Collaborator

Unblocks typeshed sync

Unblocks typeshed sync
@hauntsaninja hauntsaninja mentioned this pull request Nov 1, 2024
@github-actions

github-actions Bot commented Nov 1, 2024

Copy link
Copy Markdown
Contributor

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

@hauntsaninja
hauntsaninja merged commit 46595ee into python:master Nov 1, 2024
@hauntsaninja
hauntsaninja deleted the typeshed-change branch November 1, 2024 08:00
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.

1 participant