On Mon, 7 Jan 2019 at 15:51, nick <xerofo...@gmail.com> wrote: > > > > On 2019-01-07 10:44 a.m., Jonathan Wakely wrote: > > On Mon, 7 Jan 2019 at 15:42, nick wrote: > >> > >> Greetings All, > >> > >> I was wondering as I sent a patch before the holidays if I should resend it > >> as I did not get any replies. > > > > Which patch? I don't see any patch from you that didn't get some replies. > > > Sorry this is what I was talking about it's a fix for a bad patch:
Ah yes thanks, I see it now, at https://gcc.gnu.org/ml/gcc-patches/2018-12/msg01511.html
