mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-22 16:37:28 +00:00
fe05ff0013
Our URL tests have been reporting the previous URL for a few months as broken, and browser confirms it. (cherry picked from commit 7b6fc48c22d38a6f04bc09766aa9df2946b51d2c)