mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-15 12:41:32 +00:00
562f92f272
There was a merge conflict, and it looks like I didn't fix it right. I had set the author of that commit to Alexander, but for some reason it didn't stick?