update.sh: Make user, repo, and branch easy to change#14
Merged
aDotInTheVoid merged 1 commit intorust-lang:trunkfrom Aug 20, 2022
Merged
update.sh: Make user, repo, and branch easy to change#14aDotInTheVoid merged 1 commit intorust-lang:trunkfrom
aDotInTheVoid merged 1 commit intorust-lang:trunkfrom