On Wed, Jan 7, 2026 at 10:55 PM Ben Boeckel <[email protected]> wrote: > > On Wed, Jan 07, 2026 at 14:03:18 +0100, Richard Biener wrote: > > I see. The patch looks OK to me then. Thus, OK, unless somebody else > > raises concerns within 24h. > > Note that I lack commit rights, so if someone else could actually commit > it when the timer elapses, that would be greatly appreciated :) .
Done. Richard. > Thanks, > > --Ben
