Maybe file an issue about this?
# getting-startedk
karelpeeters
08/28/2017, 6:30 PMMaybe file an issue about this?
j
jtonic
08/28/2017, 11:29 PMHi Karel.
Thank you for the advice.
In fact I found out there is already an open issue on this.
https://youtrack.jetbrains.com/issue/KT-16962
👍 1
4 Views