IDEs Support (IntelliJ Platform) | JetBrains

Mandel

Total activity 6
Last activity December 01, 2023 09:52
Member since February 15, 2019 10:51
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 2

Created February 12, 2020 08:16

For me this bug has disappeared for a while now... don't know when it was fixed but it's definitely not in 2019.3
- 1 vote