On 1/4/22 2:03 PM, Devrim Gündüz wrote:
> (Slightly offtopic, but... )FWIW I *just* committed a few changes to
> both of these, and made clear that we don't support CentOS 8 anymore.
(...and I just commented on that change ;) I think it needs to be
reverted and we need to agree to how we want to present that point as well).
Jonathan