Skip to content

Conversation

@griggt
Copy link
Contributor

@griggt griggt commented Dec 31, 2020

Fixed by #8386

Closes #6665

@odersky
Copy link
Contributor

odersky commented Jan 2, 2021

Thanks for the check and PR!

@odersky odersky merged commit 83565cc into scala:master Jan 2, 2021
@griggt griggt deleted the fix-#6665 branch January 4, 2021 17:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants