On Sun, 15 Dec 2024, Jeff Law wrote: > > Ping for: > > > > <https://inbox.sourceware.org/gcc-patches/[email protected]/> > > <https://inbox.sourceware.org/gcc-patches/[email protected]/> > > <https://inbox.sourceware.org/gcc-patches/[email protected]/> > > <https://inbox.sourceware.org/gcc-patches/[email protected]/> > These are fine too.
And I have applied these now too. Thank you for your review, Merry Christmas and Happy New Year! Maciej
