Skip to content

Conversation

@odersky
Copy link
Contributor

@odersky odersky commented May 7, 2022

Fixes #15097

@notational Thanks for your diagnosis. Based on it, I think this will fix #15097, but I have not tested it.

@odersky odersky requested a review from noti0na1 May 7, 2022 09:16
@odersky
Copy link
Contributor Author

odersky commented May 17, 2022

@noti0na1 ping for review

@odersky odersky merged commit 5a38efe into scala:main May 17, 2022
@odersky odersky deleted the fix-15097-2 branch May 17, 2022 16:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants