Update repositories.txt#5321

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

dralicimen:maindralicimen/library-registry:mainCopy head branch name to clipboard