tree e51e88af5078cfe8efb08b8ebc5e59b920f6aaf2
parent d776a93c9ca8940553e601bb7000d15c26ac02a8
author Davide Pesavento <davidepesa@gmail.com> 1585074483 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1585259765 -0400

build: add CentOS 8 support; drop CentOS 7

Refs: #5040, #5087
Change-Id: I6dcc5e9ee6b4839a6b3f15f1ad6dabf140301ae4