On Tue, 19 Jul 2022 at 11:13, Marco Falke <falke.ma...@gmail.com> wrote: > > Thanks Jonathan. Either name is perfectly fine.
OK, thanks. > > To clarify, this will be pushed to master and also backported to the > 12-branch? Yes, that's right. It will go to trunk (aka master) today and then backported to the gcc-12 branch "soon" (whenever I do the next batch of backports, which might be later this week).