https://kotlinlang.org logo
d

Derk-Jan Karrenbeld

10/25/2018, 3:52 PM
I can quickly PR it up. Do we also want to change it to java 1.7? 1.6 is already EOL I think, and doesn't even get security updates anymore.