tree f1833a8e911e73947b5337a61a09aedaa4d9fa4e
parent cabd980030f9b0130983eb3d644495a99a39d3b5
author Davide Pesavento <davidepesa@gmail.com> 1609117645 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1609120222 -0500

ci+docs: CentOS renamed the PowerTools repo to lowercase

Change-Id: I4b78986f3af17d2124824992e31b408ebe8de03a