Update repositories.txt#5683

edwiyanto wants to merge 1 commit intoarduino:mainarduino/library-registry:mainfrom

edwiyanto:patch-1edwiyanto/library-registry:patch-1Copy head branch name to clipboard