Skip to content

Revert #17623#17744

Merged
nicolasstucki merged 2 commits intoscala:mainfrom
dotty-staging:fix-17743
Jun 1, 2023
Merged

Revert #17623#17744
nicolasstucki merged 2 commits intoscala:mainfrom
dotty-staging:fix-17743

Commits

Commits on Jun 1, 2023