Jürgen Spitzmüller Thu, 29 Dec 2022 06:15:31 -0800
Committed.
-- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel