Skip to content

Cherry picks from #4512#4722

Merged
nicolasstucki merged 4 commits intoscala:masterfrom
dotty-staging:cherry-pick-4512
Jun 28, 2018
Merged

Cherry picks from #4512#4722
nicolasstucki merged 4 commits intoscala:masterfrom
dotty-staging:cherry-pick-4512

Commits

Commits on Jun 26, 2018