mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-19 22:34:33 +00:00
8d8f9339f1
I totally misread this bug report! (#12019) This reverts commit 8871229f5f0cab072e587282d5e6a32a14da481f.