Am Montag, dem 15.07.2024 um 13:53 +0100 schrieb José Matos: > On Sun, 2024-07-14 at 14:32 +0200, Jürgen Spitzmüller wrote: > > I think the attached patch fixes it. > > I confirm that. > > It does not crash anymore. :-) I committed it. Might be candidate for stable as well. -- Jürgen