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 -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
