On Wed, Aug 19, 2020 at 10:13:56PM -0400, Richard Kimberly Heck wrote: > I think it's fine to commit, and we can polish it as time permits.
Thanks, initial version committed. P -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel