update rand#717

djmitche wants to merge 2 commits intoGothenburgBitFactory:mainGothenburgBitFactory/taskchampion:mainfrom

djmitche:push-xtlpqmwuyzytdjmitche/taskchampion:push-xtlpqmwuyzytCopy head branch name to clipboard