mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-22 07:42:02 +00:00
2d647cb0e6
Fixes rest of #10986 (cherry picked from commit 71977769ec5168eda6f49697b570bbd1dd6991d8)