mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-22 16:37:28 +00:00
9e52c7693e
Fixes: #9194 See #9194 for why we use an earlier file format change here. (cherry picked from commit feab528fd1555065592284603d8443b71f534a7a)