re-allow global user-customizable platform.txt#472

cmaglie merged 1 commit intomasterarduino/arduino-cli:masterfrom

cmaglie/fix-global-platformtxtarduino/arduino-cli:cmaglie/fix-global-platformtxtCopy head branch name to clipboard