From: Juergen Spitzmueller Date: Fri, 21 Jul 2023 07:09:30 +0000 (+0200) Subject: Merge branch 'master' of git.lyx.org:lyx X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=c3e0ae4bfdf7e718f0048cf73df9ca3002cd65a6;p=features.git Merge branch 'master' of git.lyx.org:lyx --- c3e0ae4bfdf7e718f0048cf73df9ca3002cd65a6