On Fri, Oct 29, 2021 at 09:32:21AM +0200, Richard Biener via Gcc-patches wrote: > On Fri, Oct 29, 2021 at 2:42 AM Bernhard Reutner-Fischer via > Gcc-patches <gcc-patches@gcc.gnu.org> wrote: > > > > From: Bernhard Reutner-Fischer <al...@gcc.gnu.org> > > > > Bump required DejaGnu version to 1.5.3 (or later). > > Ok for trunk? > > OK.
If we really want to require such a new version of DejaGnu (most machines I use have 1.5.1 or older), can we include it with GCC please? Segher
