Skip to content

Micro-optimization: Drop unused parameter#4499

Merged
odersky merged 1 commit intoscala:masterfrom
dotty-staging:try-opts-2
May 10, 2018

Commits

Commits on May 10, 2018