picolibc: use updated location for git repo#5134

deadprogram merged 1 commit intodevtinygo-org/tinygo:devfrom

update-picolibc-locationtinygo-org/tinygo:update-picolibc-locationCopy head branch name to clipboard