Skip to content

Update version to 0.930+dev#11770

Merged
JukkaL merged 1 commit intomasterfrom
dev-release
Dec 16, 2021
Merged

Update version to 0.930+dev#11770
JukkaL merged 1 commit intomasterfrom
dev-release

Conversation

@JukkaL
Copy link
Collaborator

@JukkaL JukkaL commented Dec 16, 2021

This is for the 0.930 release branch. I'll update the master to
0.940+dev afterwards.

This is for the 0.930 release branch. I'll update the master to
0.940+dev afterwards.
@JukkaL JukkaL merged commit 7869550 into master Dec 16, 2021
@JukkaL JukkaL deleted the dev-release branch December 16, 2021 12:11
JukkaL added a commit that referenced this pull request Dec 16, 2021
This is for the 0.930 release branch. I'll update the master to
0.940+dev afterwards.
tushar-deepsource pushed a commit to DeepSourceCorp/mypy that referenced this pull request Jan 20, 2022
This is for the 0.930 release branch. I'll update the master to
0.940+dev afterwards.
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