https://kotlinlang.org logo
j

jkcclemens

10/02/2015, 2:09 PM
Well, that's good to know. Should I make an issue somewhere, or is it already known?