Skip to content

Refine override exclude criterion for export forwarders#17590

Merged
odersky merged 3 commits intoscala:mainfrom
dotty-staging:fix-17588
May 26, 2023

Commits

Commits on May 25, 2023