tree 2d3634930a0b2d0fe102d4606d1de403b61649b3
parent 786a7f2a38e2c5b23592e1a4f5759e92d68592f5
author Davide Pesavento <davidepesa@gmail.com> 1555792615 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1555792615 -0400

ci: adapt to new repo layout for CentOS boost RPMs

Change-Id: I3e9d4279c66676c52630907a8190ca13d8a5a6ae