On Fri, Jul 24, 2020 at 11:51:40AM -0400, Richard Kimberly Heck wrote: > On 7/24/20 7:02 AM, Enrico Forestieri wrote: > > > > Richard, I attach here the corresponding patch for stable. > > OK!
Committed at 79998fdc. -- Enrico -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel