Skip to content

Conversation

@JelleZijlstra
Copy link
Member

No description provided.

@github-actions

This comment has been minimized.

@github-actions
Copy link
Contributor

github-actions bot commented Nov 7, 2022

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

Copy link
Collaborator

@hauntsaninja hauntsaninja left a comment

Choose a reason for hiding this comment

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

Everything else in here looks good!

@hauntsaninja hauntsaninja merged commit 68924e0 into python:main Nov 7, 2022
@JelleZijlstra JelleZijlstra deleted the os branch November 7, 2022 05:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants