Skip to content

Unbreak the 2.12 build yet again#6631

Merged
smarter merged 2 commits intoscala:masterfrom
dotty-staging:fix-212
Jun 7, 2019
Merged

Unbreak the 2.12 build yet again#6631
smarter merged 2 commits intoscala:masterfrom
dotty-staging:fix-212

Commits

Commits on Jun 7, 2019