Fix empty name on manually installed platforms without platform.txt#1322

silvanocerza merged 1 commit intomasterarduino/arduino-cli:masterfrom

scerza/fix-nameless-platform-loadingarduino/arduino-cli:scerza/fix-nameless-platform-loadingCopy head branch name to clipboard