Merge pull request #5 from arvados/17218-apt-repo-update
authorJavier BĂ©rtoli <javier@netmanagers.com.ar>
Wed, 23 Dec 2020 19:41:46 +0000 (16:41 -0300)
committerGitHub <noreply@github.com>
Wed, 23 Dec 2020 19:41:46 +0000 (16:41 -0300)
fix(apt): update repository URL


Trivial merge