Add support for Dotty#48
Merged
ekrich merged 17 commits intomaster from topic/dottySep 13, 2019
+815-504
Commits
Commits on Sep 5, 2019
- committed
- committed
Commits on Sep 7, 2019
Commits on Sep 9, 2019
Commits on Sep 10, 2019
Commits on Sep 11, 2019
Commits on Sep 12, 2019
Commits on Sep 13, 2019
- committed
- committed
- committed