Increase priority of manually-installed platform. #2810

cmaglie wants to merge 11 commits intoarduino:master arduino/arduino-cli:masterfrom

cmaglie:installed_platform_priority cmaglie/arduino-cli:installed_platform_priorityCopy head branch name to clipboard