Skip to content

Prevent crash when reporting an error#15320

Merged
odersky merged 1 commit intoscala:mainfrom
dotty-staging:fix-15301
May 30, 2022

Commits

Commits on May 30, 2022