Skip to content

Fix i18518#18520

Merged
odersky merged 2 commits intoscala:mainfrom
dotty-staging:fix-18518
Oct 1, 2023

Commits

Commits on Sep 6, 2023