Skip to content

Fix #9801: Make sure the errors are reported#9813

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:fix-#9801
Sep 17, 2020

Commits

Commits on Sep 17, 2020