Michael Vlassiev

活动总数 2
最后的活动 2017年05月30日 11:09
成员加入日期 2017年05月30日 11:09
关注 0 名用户
关注者数 0 名用户
投票数 0
订阅数 1

Michael Vlassiev 进行了评论，2017年05月30日 11:09
Hi Artur, This is already known bug: https://youtrack.jetbrains.com/issue/MPS-24905. I've increased priority for it, so hope it will be fixed in bugfix.
- 0 票