Re: [CentOS-devel] CentOS IRC channels moving to irc.libera.chat