Skip to content

Fix #3875 and other details#3879

Merged
nicolasstucki merged 3 commits intoscala:masterfrom
dotty-staging:fix-#3875
Jan 21, 2018
Merged

Fix #3875 and other details#3879
nicolasstucki merged 3 commits intoscala:masterfrom
dotty-staging:fix-#3875

Commits

Commits on Jan 20, 2018