Now that GCC13.1 is released is it ok to merge? Thanks!
On Tue, Apr 18, 2023 at 6:48 PM Jonathan Wakely <jwak...@redhat.com> wrote: > > On Mon, 17 Apr 2023 at 09:11, Nathaniel Shead <nathanielosh...@gmail.com> > wrote: > > > > Hi, just checking whether there were any issues with this patch? > > https://gcc.gnu.org/pipermail/gcc-patches/2023-February/612386.html > > > > Otherwise I assume it won't be in GCC13. > > That's right, it's too large and invasive a change to get into GCC 13 > when only submitted in February, sorry. I'll merge it to trunk once > GCC 13.1 is released though. >
