Skip to content

Fix #17435: A simpler fix#17436

Merged
nicolasstucki merged 2 commits intoscala:mainfrom dotty-staging:fix-17435May 19, 2023

Commits

Commits on May 9, 2023