Skip to content

Conversation

Gedochao
Copy link
Contributor

@Gedochao Gedochao commented Mar 7, 2025

@Gedochao Gedochao added release-notes Should be mentioned in the release notes needs-minor-release This PR cannot be merged until the next minor release labels Mar 7, 2025
@Gedochao Gedochao enabled auto-merge March 7, 2025 10:10
@Gedochao Gedochao merged commit 2b4d157 into scala:main Mar 7, 2025
29 checks passed
@WojciechMazur WojciechMazur added this to the 3.7.0 milestone Mar 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs-minor-release This PR cannot be merged until the next minor release release-notes Should be mentioned in the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants