lampepfl/dotty — pull request #315 by odersky (2014-12-19 22:02:23+00:00)
Title: Allow for varargs passed to Java annotation constructors.

Review by @DarkDimius