Skip to content

Conversation

srittau
Copy link
Collaborator

@srittau srittau commented Oct 2, 2024

No description provided.

@srittau
Copy link
Collaborator Author

srittau commented Oct 2, 2024

Replaces #10769.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

Copy link
Contributor

github-actions bot commented Oct 2, 2024

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

@srittau srittau merged commit e4c84df into python:main Oct 2, 2024
63 checks passed
@srittau srittau deleted the email-policy-new branch October 2, 2024 14:42
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