On Tue, 11 Nov 2025 at 10:44, David Rowley <[email protected]> wrote: > The attached patch fixes it. I can take care of this once the back > branches are open again after the minor releases are out.
Pushed. David
On Tue, 11 Nov 2025 at 10:44, David Rowley <[email protected]> wrote: > The attached patch fixes it. I can take care of this once the back > branches are open again after the minor releases are out.
Pushed. David