tree 10aabfbc8a230adb9ee92b544234af9fe8e983b8
parent 9222f3665b40dd5a1c970bc979cae6c134b878c8
author Davide Pesavento <davidepesa@gmail.com> 1555792686 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1555792686 -0400

ci: adapt to new repo layout for CentOS boost RPMs

Change-Id: I8f8c804d0499fecaac744a08111709d2fd49e7b7