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 :) . Thanks, --Ben
