On Thu, 2 May 2024 at 15:47, Gaius Mulley <gaiusm...@gmail.com> wrote: > > Simon Marchi <simon.mar...@polymtl.ca> writes: > > > > > I don't have access to the gcc repo, so could you please push the patch > > on my behalf? > > all done - many thanks for the patch! >
Great, I think we now have to update autoregen.py on the buildbot so that it stops complaining :-) Thanks, Christophe > regards, > Gaius