On 5/18/20 1:39 PM, Enrico Forestieri wrote: > On Sat, Mar 14, 2020 at 05:27:19PM +0100, Enrico Forestieri wrote: > >> On Sat, Mar 14, 2020 at 04:36:41PM +0100, Jürgen Spitzmüller wrote: >>> Am Samstag, den 14.03.2020, 16:22 +0100 schrieb Enrico Forestieri: >>>> Please, try the attached patch. >>> This fixes the problem for me. >> I have extended the patch to some other obvious cases and committed it. >> >> Riki, I think this (bd6d09fc) should also go to stable. > As well as 92c4bb46.
OK! Riki -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel