Skip to content

Conversation

@AlexWaygood
Copy link
Member

No description provided.

pull_request:
paths:
- "Tools/clinic/**"
- "Tools/requirements-dev.txt"
Copy link
Member Author

@AlexWaygood AlexWaygood Nov 13, 2023

Choose a reason for hiding this comment

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

This backports #108457 (at the time when that PR was merged, the mypy pin was in a different file on the 3.12 branch, but since that time, we moved it so that it's now in the same place on the 3.12 branch as it is on the main branch: #111317

@AlexWaygood AlexWaygood merged commit 7313bde into python:3.12 Nov 13, 2023
@AlexWaygood AlexWaygood deleted the backport-111961-312 branch November 13, 2023 13:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant