Skip to content

Conversation

@Gedochao Gedochao added this to the 3.8.0 milestone Dec 12, 2025
@Gedochao Gedochao added release-notes Should be mentioned in the release notes backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. labels Dec 12, 2025
@Gedochao Gedochao enabled auto-merge December 12, 2025 14:26
@Gedochao Gedochao merged commit 3c4da0d into scala:main Dec 12, 2025
46 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. release-notes Should be mentioned in the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants