On Fri, Dec 09, 2022 at 12:28:41PM -0500, Scott Kostyshak wrote: > OK to push?
I'm not happy about updating Additional.lyx as John doesn't have up-to-date lyx binary and will stop him from updates. Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
