On Wed, Nov 1, 2023 at 7:25 PM Eric Gallager <eg...@gwmail.gwu.edu> wrote: > > 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
...and then I cleaned up the formatting a bit in r14-5065-g4968e4844a3ce3, which I pushed under the "obvious" rule: https://gcc.gnu.org/git/?p=gcc.git;a=commitdiff;h=4968e4844a3ce30143ae2e267895c418f5c636a1 > > > jeff
