On Sun, 30 Nov 2025 at 08:43, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:> I believe the attached is the correct fix.
I've pushed that patch.
Thanks again for the report.
David