From: Juergen Spitzmueller Date: Sun, 23 Apr 2023 12:49:44 +0000 (+0200) Subject: Merge branch 'master' of git.lyx.org:lyx X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=cb17dbf68db47435a38914df1028dba4ed32884f;p=features.git Merge branch 'master' of git.lyx.org:lyx --- cb17dbf68db47435a38914df1028dba4ed32884f