Fix board search not returning boards if installed core is not latest version#1410

silvanocerza merged 1 commit intomasterarduino/arduino-cli:masterfrom

scerza/board-search-old-corearduino/arduino-cli:scerza/board-search-old-coreCopy head branch name to clipboard