Skip to content

Some more small optimizations#3216

Merged
allanrenucci merged 2 commits intoscala:masterfrom
dotty-staging:more-opts
Oct 3, 2017
Merged

Some more small optimizations#3216
allanrenucci merged 2 commits intoscala:masterfrom
dotty-staging:more-opts

Commits

Commits on Sep 30, 2017