Re: [PATCH] Bump required minimum DejaGnu version to 1.5.3

[Jonathan Wakely via Gcc-patches]

On Fri, 5 Nov 2021 at 09:35, Richard Biener via Gcc <g...@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.