On Wed, Nov 1, 2023 at 11:31 AM Jeff Law <jeffreya...@gmail.com> wrote: > > > > On 11/1/23 08:11, Eric Gallager wrote: > > Hi, I'd like to ping the following patch: > > > > https://gcc.gnu.org/pipermail/gcc-patches/2023-October/633191.html > OK for the trunk. >
Thanks, committed as r14-5064-g2b9778c8d9d331: https://gcc.gnu.org/git/?p=gcc.git;a=commitdiff;h=2b9778c8d9d33174de63716b74b2f114d700e104 > jeff
