Merge pull request #13 from arvados/master
authorJavier BĂ©rtoli <javier@netmanagers.com.ar>
Wed, 23 Dec 2020 20:25:07 +0000 (17:25 -0300)
committerGitHub <noreply@github.com>
Wed, 23 Dec 2020 20:25:07 +0000 (17:25 -0300)
Fix apt repository URL


Trivial merge