Richard Kimberly Heck Sun, 25 Oct 2020 08:41:03 -0700
OK on these.
Riki -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel