Skip to content

Fix #1037#1038

Merged
smarter merged 5 commits intoscala:masterfrom
dotty-staging:fix-#1037
Jan 23, 2016
Merged

Fix #1037#1038
smarter merged 5 commits intoscala:masterfrom
dotty-staging:fix-#1037

Commits

Commits on Jan 19, 2016