mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-27 02:19:10 +00:00
d319a9e831
This commit is Consistent with 97521c4e. Patch from Jürgen. See discussion here: https://www.mail-archive.com/search?l=mid&q=20160305184215.GA17005%40cotopaxi.hsd1.dc.comcast.net