tree 2821ef8067072e08b04cec7860b9494f189798d5
parent 80d671f9965fd71b2ff82536a3274d0e53619beb
author Davide Pesavento <davidepesa@gmail.com> 1656880264 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1656964052 -0400

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

Refs: #5181
Change-Id: I1d1a0ed02736ef5ec0c28d51f1c4f56f6e00d129