On Mon, 18 Jul 2022 at 11:25, François Dumont <frs.dum...@gmail.com> wrote: > > Hi > > I just noticed that I still had this nice enhancement in my local > branches. > > Ok to commit ?
OK, thanks.
Jonathan Wakely via Gcc-patches Mon, 18 Jul 2022 03:52:55 -0700
On Mon, 18 Jul 2022 at 11:25, François Dumont <frs.dum...@gmail.com> wrote: > > Hi > > I just noticed that I still had this nice enhancement in my local > branches. > > Ok to commit ?
OK, thanks.