On Fri, Dec 30, 2022 at 09:27:32AM +0100, Jürgen Spitzmüller wrote: > Am Donnerstag, dem 29.12.2022 um 15:25 -0500 schrieb Scott Kostyshak: > > Sounds good. I can do that. Should I do that now or wait (i.e., would > > this change disrupt the ongoing work)? > > It's probably better to wait until John is done.
Scott, this is the right time for your fix... Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel