Skip to content

Fix #2760: Support defaults in Java annotations parsed from sources#3865

Merged
odersky merged 3 commits intoscala:masterfrom
dotty-staging:fix/java-default-annot
Mar 26, 2018

Commits

Commits on Mar 23, 2018