tree 058758bf61fceebbd1be50dca09a3426e7b56ab5
parent 40eae0328b79faf4182c0348b1286cb60fa5f2b4
author Davide Pesavento <davidepesa@gmail.com> 1656984021 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1657317171 -0400

build: support CentOS Stream 9, drop CentOS 8

Refs: #5181
Change-Id: I289930c9658137e1637357f81c762ebb331474c8