On Fri, Aug 25, 2023 at 01:36:41PM +0200, Pavel Sanda wrote: > > At this point I suggest reverting the change you made, unless someone else > > claims to have reproduced the bug. But it is just a suggestion. > > Ok, I can do that.
Committed. P -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
