Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Re-merge #14067 #14737

Closed
Kordyjan opened this issue Mar 21, 2022 · 0 comments · Fixed by #14942
Closed

Re-merge #14067 #14737

Kordyjan opened this issue Mar 21, 2022 · 0 comments · Fixed by #14942
Assignees
@Kordyjan
Labels
needs-minor-release This PR cannot be merged until the next minor release
Milestone
3.2.0

Comments

@Kordyjan
Copy link
Contributor

Kordyjan commented Mar 21, 2022 •
edited

#14067 needed to be reverted in #14736 because it broke binary compatibility between patch releases.

We can merge it again before 3.2
@Kordyjan Kordyjan added the needs-minor-release This PR cannot be merged until the next minor release label Mar 21, 2022
@Kordyjan Kordyjan added this to the 3.2.0-RC1 milestone Mar 21, 2022
@Kordyjan Kordyjan self-assigned this Mar 21, 2022
@Kordyjan Kordyjan mentioned this issue Apr 14, 2022
Merged
@dwijnand dwijnand mentioned this issue Apr 14, 2022
Merged
@Kordyjan Kordyjan modified the milestones: 3.2.0-RC1, 3.2.0 Aug 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Kordyjan Kordyjan

Labels
needs-minor-release This PR cannot be merged until the next minor release
Projects
None yet
Milestone
3.2.0
Development

Successfully merging a pull request may close this issue.

Re-revert #14067 dotty-staging/dotty
1 participant
@Kordyjan