[ARVADOS] updated: f00c2849c5cdbe179d61bcaa1374d355844c2fae

[Git user]

Summary of changes:
 tools/arvbox/lib/arvbox/docker/Dockerfile.base | 10 +++++++---
 tools/arvbox/lib/arvbox/docker/Dockerfile.dev  |  4 ++--
 2 files changed, 9 insertions(+), 5 deletions(-)

       via  f00c2849c5cdbe179d61bcaa1374d355844c2fae (commit)
       via  2dc11b82dd03fce85be2784a8430f91d53275d2e (commit)
      from  e649689d1803837756ca8df0520b3fcb958d5939 (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 f00c2849c5cdbe179d61bcaa1374d355844c2fae
Merge: e649689 2dc11b8
Author: Lucas Di Pentima <lucas at di-pentima.com.ar>
Date:   Wed Jun 15 14:35:34 2016 -0300

    Merge branch '9408-arvbox-dockerfile-pulls-unnecessary-packages'
    
    refs #9408


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


hooks/post-receive
--