https://kotlinlang.org logo
k

karelpeeters

08/16/2017, 1:53 PM
File a youtrack issue, maybe you can mark it as a feature request.