mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-22 07:42:02 +00:00
e08512e7fd
Our URL tests have been reporting the previous URL for a few months as broken, and browser confirms it. (cherry picked from commit b94bb04d9146c075c31a39d99fe7d750e46e914c)