On Tue, 11 Nov 2025 at 10:44, David Rowley <dgrowleyml(at)gmail(dot)com> 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