mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-14 20:26:50 +00:00
64007533a7
Fixes: #10678 (cherry picked from commit b498646b2eb880b420b493a94144dd8dce2e32c7)