projects / arvados.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a19b956 3d7250d)
Merge branch '17218-update-apt-repos'
authorJavier Bértoli <jbertoli@curii.com>
Wed, 23 Dec 2020 21:15:34 +0000 (18:15 -0300)
committerJavier Bértoli <jbertoli@curii.com>
Wed, 23 Dec 2020 21:15:34 +0000 (18:15 -0300)
closes #17218

Arvados-DCO-1.1-Signed-off-by: Javier Bértoli <jbertoli@curii.com>


Trivial merge