On Fri, Jan 09, 2026 at 11:11:24 +0100, Richard Biener wrote: > On Wed, Jan 7, 2026 at 10:55 PM Ben Boeckel <[email protected]> wrote: > > Note that I lack commit rights, so if someone else could actually commit > > it when the timer elapses, that would be greatly appreciated :) . > > Done.
Thank you! --Ben
