mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-23 16:52:02 +00:00
a68e5b7774
Fixes remainder of #11405 (cherry picked from commit 4d5120658579fbad3a19b76f9da7e044264f6c03)