On Fri, 10 Mar 2023, Arsen Arsenović wrote: > Thanks, Thomas. I'd be happy to undergo this process later today. If I > understood right, I should fill out > https://sourceware.org/cgi-bin/pdw/ps_form.cgi and name you, right?
Yes. (Thomas, you, and me actually could have met a FOSDEM. Next year we should send a note to the gcc@ list and arrange for something?) >>> Arsen, if that is indeed the case, I offer to push these two commits for >>> you if you send them by e-mail (as two attachments). > Thanks! Either approach works for me :) Happy to go the route Thomas suggested (though available to help, too). Gerald