<@U0DL613SP>: I wonder, if KT-11708 is now fixed, ...

# kontributors

[kirillrakhman]

@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?