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)
commita72a7254b3d297ddcb6cf8a9f38800fab7bb5f19
tree12deea5580bb31bc7c81c823bf7edddaf6015289
parentff2b29307fd73f567f7c9b79303ebf03550adb3a
parentb1b06f9d72917d55a6622eddf43a896432ffd8c4
Merge pull request #5 from arvados/17218-apt-repo-update

fix(apt): update repository URL