Skip to content

Fix TermRef prefixes not having their type healed#20102

Merged
nicolasstucki merged 1 commit intoscala:mainfrom dotty-staging:fix-i19767Apr 5, 2024

Commits

Commits on Apr 5, 2024