tree 71f0acbcb026648c12c39bb11c199237a98ec207
parent 990620ac3b86cd599098f3fc8392a315999647e7
author Davide Pesavento <davidepesa@gmail.com> 1657318731 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1657318731 -0400

build+docs: support CentOS Stream 9, drop CentOS 8

Refs: #5181
Change-Id: I2d8bc595bad047ceaa78bd3729848491b843e83d