tree 81ffc03c21fef3c5e8cf56441827713dc704c866
parent 2063952229000d02428e871ffa65f534520d471d
author Davide Pesavento <davide.pesavento@lip6.fr> 1496965041 -0400
committer Alexander Afanasyev <alexander.afanasyev@ucla.edu> 1497912018 -0700

ci: speed up Travis-CI osx jobs by upgrading only the packages we need

Change-Id: I7d6c427eacb132d5faad5ceb50aa2f1347ef912c