PR done <https://github.com/JetBrains/kotlin/pull/...
# kontributors
k