On Tue, 2025-12-02 at 17:24 +0100, Laurenz Albe wrote:> I can reproduce the problem, and the attached patch fixes it for me.
Erm, and here is the patch.
Laurenz Albe