Ok, done. I created a pull request for it (<https:...
# kontributors
r
Ok, done. I created a pull request for it (https://github.com/JetBrains/kotlin/pull/1407)