mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-22 07:42:02 +00:00
0f3746400e
these got committed to stable and some did not, and now it is all but impossible (I've tried) to do this by cherry-picking.