[ARVADOS] updated: 1.3.0-2113-gc88bd2141

[Git user]

Summary of changes:
 tools/arvbox/bin/arvbox                          |  6 +-
 tools/arvbox/lib/arvbox/docker/common.sh         |  1 +
 tools/arvbox/lib/arvbox/docker/service/nginx/run | 82 ++++++++++++------------
 3 files changed, 45 insertions(+), 44 deletions(-)

       via  c88bd2141126b4d912ddb7f97774570ca81e6688 (commit)
       via  6e89a1027ef15b39b5d8b694939f68ff22e10c86 (commit)
       via  28e50cc9480fdad416404542511a172cdc7253c7 (commit)
       via  b9969745321abe73dd8d2a04dc60c55fe9434ae6 (commit)
      from  805883d4570e13e2760fa371e1a7714db3d8a0c9 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit c88bd2141126b4d912ddb7f97774570ca81e6688
Merge: 805883d45 6e89a1027
Author: Lucas Di Pentima <lucas at di-pentima.com.ar>
Date:   Tue Jan 28 15:51:35 2020 -0300

    Merge branch '15944-arvbox-publicdev-fix'
    
    Closes #15944
    
    Arvados-DCO-1.1-Signed-off-by: Lucas Di Pentima <lucas at di-pentima.com.ar>


-----------------------------------------------------------------------


hooks/post-receive
--