Arduino 1.8.12 is out!

Today, we 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...