Fix sorting of platforms and boards#1282

silvanocerza merged 1 commit intomasterarduino/arduino-cli:masterfrom

scerza/fix-sorting-orderarduino/arduino-cli:scerza/fix-sorting-orderCopy head branch name to clipboard