Today, ARDUINO TEAM — February 13th, 2020 are excited to announce the arrival of the Arduino IDE 1.8.12.
Wow! Another release just after two weeks, you ask?Well, we fixed some serious bugs related to the compiler, and more importantly, we had to take a step back with respect to the transition to the new Java Virtual Machine from OpenJDK. Since we had received so many report from our users, we decided to do a release with the old JVM in order to have a bit more time to properly handle those issues and at the same time guarantee a better experience to our users.
As usual, if you are curious, you can find the full changelog and contributors in the release notes here.