Skip to content

Conversation

nicolasstucki
Copy link
Contributor

From #18562

@nicolasstucki nicolasstucki marked this pull request as ready for review September 25, 2023 13:06
@nicolasstucki nicolasstucki added the release-notes Should be mentioned in the release notes label Sep 25, 2023
@smarter smarter merged commit 44a537b into scala:main Oct 23, 2023
@smarter smarter deleted the fix-18562 branch October 23, 2023 19:40
@Kordyjan Kordyjan added this to the 3.4.0 milestone Dec 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release-notes Should be mentioned in the release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants