On 21/09/2016 14:45, Julian Reschke wrote:
> 3) Switch trunk and 2.12 to JDK 7.
+1

Davide


Reply via email to