On Sat, Aug 15, 2020 at 07:10:33AM +0200, Jürgen Spitzmüller wrote: > Am Freitag, den 14.08.2020, 18:04 +0200 schrieb Enrico Forestieri: > > I reverted the commit, so it's all yours again. You also have a hint > > of how about solving the bug addressed by it. Let me know if you need > > help. > > I (hope I) fixed that one differently at 04ba887e2c77.
Well done! I see you got the idea. -- Enrico -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel