Skip to content

Conversation

cdce8p
Copy link
Collaborator

@cdce8p cdce8p commented Jan 22, 2025

The release branch has been cut:
https://github.com/python/mypy/tree/release-1.15
Increase the dev version.

@cdce8p cdce8p requested a review from wesleywright January 22, 2025 22:30
Copy link
Contributor

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

@JukkaL JukkaL merged commit 905ea7b into python:master Jan 23, 2025
18 checks passed
@cdce8p cdce8p deleted the bump-version branch January 23, 2025 12:23
x612skm pushed a commit to x612skm/mypy-dev that referenced this pull request Feb 24, 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