<@U0C1NM397>: I think that it is a bug. Please fil...
# getting-started
s
@mbickel: I think that it is a bug. Please file an issue (https://youtrack.jetbrains.com/issues/KT).