tree 63d43c91a5e64f164584323bc41f86bb76bbf5dc
parent 4f0b4230ad73a1a48efd5ff78e465ceb6f502b66
author Davide Pesavento <davidepesa@gmail.com> 1553003877 -0400
committer Gerrit Code Review <gerrit@named-data-1.c.leproject-172903.internal> 1553003877 -0700

Update git submodules

* Update ChronoSync from branch 'master'
  to 5188f31d501ada82022e14496529b82c97190e0f
  - ci: update .travis.yml and jenkins scripts
    
    Change-Id: I22034ef33a13910e2a5639deec4a5609b5a6ad99