<@U0DL613SP>: I wonder, if KT-11708 is now fixed, ...
# kontributors
k
@pavel.talanov: I wonder, if KT-11708 is now fixed, would it be hard to fix https://youtrack.jetbrains.com/issue/KT-9271 as well?