Skip to content

Conversation

@odersky
Copy link
Contributor

@odersky odersky commented Apr 5, 2022

Fixes #2887

@odersky odersky merged commit 5ec0977 into scala:main Apr 5, 2022
@odersky odersky deleted the fix-2887 branch April 5, 2022 18:27
@Kordyjan Kordyjan added this to the 3.2.0 milestone Aug 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants