Jürgen Spitzmüller Wed, 28 Dec 2022 07:37:35 -0800
Committed.
-- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel