On 11/19/19 7:33 AM, Juergen Spitzmueller wrote: > commit 5d45c10fc785961d7c5f9e1cc291f14a116b1227 > Author: Juergen Spitzmueller <sp...@lyx.org> > Date: Tue Nov 19 13:47:32 2019 +0100 > > Fix crash in selection manager > > Patch by Patrick De Visschere
Fine for stable if needed. Riki -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
