projects / arvados.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 805883d 6e89a10)
Merge branch '15944-arvbox-publicdev-fix'
authorLucas Di Pentima <lucas@di-pentima.com.ar>
Tue, 28 Jan 2020 18:51:35 +0000 (15:51 -0300)
committerLucas Di Pentima <lucas@di-pentima.com.ar>
Tue, 28 Jan 2020 18:51:35 +0000 (15:51 -0300)
Closes #15944

Arvados-DCO-1.1-Signed-off-by: Lucas Di Pentima <lucas@di-pentima.com.ar>


Trivial merge