Sorry, this is our bug and we have just fixed it. We plan to release PIO Core 4.0.3 this week.
Meanwhile, you can switch to the development version of PIO Core via opening PIO IDE Terminal and typing
pio upgrade --dev
Sorry, this is our bug and we have just fixed it. We plan to release PIO Core 4.0.3 this week.
Meanwhile, you can switch to the development version of PIO Core via opening PIO IDE Terminal and typing
pio upgrade --dev