https://kotlinlang.org logo
u

udalov

10/04/2015, 3:28 PM
in any case, please log your suggestion to the issue tracker. Thanks!