On Tue, 2022-08-09 at 11:39 -0400, David Malcolm wrote: > On Sat, 2022-07-30 at 19:18 +0530, Vibhav Pant wrote: > > I don't have push rights to the repo, so this would need to be > > applied manually. > > I've gone ahead and pushed your fix to trunk (for GCC 13) as r13- > 2004- > g9385cd9c74cf66. > > I plan to also push it to the gcc 12 branch shortly (for gcc 12.2)
I've now done this (as r12-8674-g92f2582f3ec7b8). Thanks again Dave
