tree 24abdd983979ab05e657c08f960a70edeae51280
parent 78e3549c165842d770ab64a52022dabe05e19b0d
author Davide Pesavento <davidepesa@gmail.com> 1555792369 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1555792369 -0400

ci: adapt to new repo layout for CentOS boost RPMs

Change-Id: I5fc9ed6f94887a4b6125e843474623d1a4ccac95