[skip-changelog] Sort board search results with the same name using their platform ID#2128
Merged
MatteoPologruto merged 1 commit intoarduino:masterfrom Mar 28, 2023
board search results with the same name using their platform ID#2128