mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-13 20:09:59 +00:00
b3946f6d4d
Fixes #7762. (cherry picked from commit 8da025014dda1ff2d3cc1409778d5df68d06bf1a)