Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
jetbrains.*: 2020.1.1/2/3 -> 2020.1.2/3/5 #91731
Motivation for this change
To get the latest JetBrains patches. Tested jetbrains.idea-ultimate. I was unable to update MPS version with update.pl script as sha256 key delivered by JetBrains was broken so I left it as it was before.