Fix regression: do not crash on board list
if a discovery is not properly installed#1814
Merged
cmaglie merged 2 commits intoarduino:masterfrom Jul 26, 2022
board list
if a discovery is not properly installed#1814