Skip to content

Dotty-related fixes and upgrades#314

Merged
ashawley merged 3 commits intoscala:masterfrom
smarter:dotty-fixes
May 29, 2019
Merged

Dotty-related fixes and upgrades#314
ashawley merged 3 commits intoscala:masterfrom
smarter:dotty-fixes

Commits

Commits on May 29, 2019