On Fri, 5 Nov 2021 at 09:35, Richard Biener via Gcc <gcc@gcc.gnu.org> wrote: > So just contribute updated dejagnu packages to CentOS 7 "backports" or > whatever means exists there?
Yes, we could add a newer dejagnu to EPEL.
On Fri, 5 Nov 2021 at 09:35, Richard Biener via Gcc <gcc@gcc.gnu.org> wrote: > So just contribute updated dejagnu packages to CentOS 7 "backports" or > whatever means exists there?
Yes, we could add a newer dejagnu to EPEL.