Use the distributed ARM ar in libpico, not system#2721

earlephilhower merged 1 commit intomasterearlephilhower/arduino-pico:masterfrom

arrrrrrearlephilhower/arduino-pico:arrrrrrCopy head branch name to clipboard