On 9/12/22 09:06, Torbjorn SVENSSON via Gcc-patches wrote: > > > On 2022-09-11 21:38, Mikael Morin wrote: >> Le 11/09/2022 à 18:04, Torbjorn SVENSSON a écrit : >>> Can you fix it for me and submit it or do you want me to send a v3? >> >> For trivial things like this, there is no need for a v3 (nor was there for a >> v2). >> Do you miss a git write account and need someone to push for you? > > Ok! > > I do not have any write access, so yes, please push it for me!
Please attach a patch with git format-patch and I'm going to push it now. Cheers, Martin
