Skip to content

Use NamedType#stableInRunSymbol more#18108

Merged
odersky merged 2 commits intoscala:mainfrom
dwijnand:use-stableInRunSymbol
Jul 3, 2023
Merged

Use NamedType#stableInRunSymbol more#18108
odersky merged 2 commits intoscala:mainfrom
dwijnand:use-stableInRunSymbol

Commits

Commits on Jun 30, 2023

Commits on Jul 2, 2023