https://kotlinlang.org logo
d

dmitry.petrov

03/14/2016, 7:38 AM
You can file a feature request at https://youtrack.jetbrains.com/issues