mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-19 05:53:35 +00:00
5933031130
The previous link still worked but asked for bookmarks to be updated to the newer URL. Thanks to Ian Holliday for this correction. (cherry picked from commit 4b1f3ab53924eb4b4c60871dec33617d6d86d3b0)