Skip to content

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Jul 17, 2023

Fixes #18109

@Kordyjan Kordyjan merged commit 7613234 into scala:main Jul 21, 2023
@Kordyjan Kordyjan deleted the fix-18109 branch July 21, 2023 08:43
@Kordyjan Kordyjan added the backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" label Jul 21, 2023
@Kordyjan Kordyjan modified the milestones: 3.4.0, 3.3.1 Aug 1, 2023
@Kordyjan Kordyjan added backport:done This PR was successfully backported. and removed backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" labels Aug 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport:done This PR was successfully backported.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Type of package
2 participants