Skip to content

Conversation

Duhemm
Copy link
Contributor

@Duhemm Duhemm commented Aug 18, 2025

[skip ci]

@hamzaremmal hamzaremmal merged commit d637d61 into scala:main Aug 18, 2025
47 checks passed
WojciechMazur added a commit that referenced this pull request Sep 20, 2025
Backports #23777 to the 3.7.4.

PR submitted by the release tooling.
[skip ci]
@WojciechMazur WojciechMazur added this to the 3.7.4 milestone Sep 23, 2025
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.

3 participants