Skip to content

Conversation

olhotak
Copy link
Contributor

@olhotak olhotak commented Jul 14, 2023

Fixes #11967

@olhotak olhotak requested review from noti0na1 and odersky July 14, 2023 21:11
@olhotak olhotak self-assigned this Jul 14, 2023
Copy link
Member

@noti0na1 noti0na1 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@odersky odersky merged commit ac5fcfb into main Oct 1, 2023
@odersky odersky deleted the fix-11967 branch October 1, 2023 15:31
@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

4 participants