Errore aggiornamento board ESP32 su ide 2.3.7

... stessa cosa per un problema con il "core" di Arduino UNO R4 ... risolto con la stessa modifica come riportato QUI.

Guglielmo