Skip to content

Fix overriding a Java method with varargs#2076

Merged
odersky merged 2 commits intoscala:masterfrom
dotty-staging:fix/override-java-varargs
Mar 12, 2017
Merged

Fix overriding a Java method with varargs#2076
odersky merged 2 commits intoscala:masterfrom
dotty-staging:fix/override-java-varargs

Commits

Commits on Mar 12, 2017