On Tue, Mar 05, 2024 at 08:34:31AM -0500, David Malcolm wrote: > > I committed that patch, but was not fast enough actually enabling the > > buildbot and missed another fixlet needed first. > > > > OK, to push the attached regeneration patch? > > Yes
Thanks, pushed. And now also pushed the builder patch (attached) to enable it in the CI autoregen checker. It already ran without finding any issues. https://builder.sourceware.org/buildbot/#/builders/gcc-autoregen