Skip to content

Avoid embedding SelectionProtos in Conversions#17755

Merged
odersky merged 3 commits intoscala:mainfrom
dwijnand:gadt-cast-conversion-selection-proto
Jun 6, 2023

Commits

Commits on Jun 2, 2023

Commits on Jun 5, 2023