On Fri, May 15, 2020 at 11:10:01AM +0200, Jean-Marc Lasgouttes wrote: > Try this one instead (do not worry, recompilation will be limited).
Patch missing... P -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel