Skip to content

Conversation

@rjolly
Copy link
Contributor

@rjolly rjolly commented Nov 3, 2025

See #24243

@Gedochao Gedochao added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Nov 4, 2025
@Gedochao Gedochao added this to the 3.8.0 milestone Nov 4, 2025
@Gedochao
Copy link
Contributor

Gedochao commented Nov 4, 2025

cc @WojciechMazur

@WojciechMazur WojciechMazur merged commit 5a2cff6 into scala:main Nov 4, 2025
53 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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants