projects / arvados.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b996974 6275b9e)
15944: Merge branch 'master' into 15944-arvbox-publicdev-fix
authorLucas Di Pentima <lucas@di-pentima.com.ar>
Fri, 24 Jan 2020 14:41:05 +0000 (11:41 -0300)
committerLucas Di Pentima <lucas@di-pentima.com.ar>
Fri, 24 Jan 2020 14:41:05 +0000 (11:41 -0300)

Trivial merge