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


Reply via email to