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