]> git.lyx.org Git - lyx.git/search
Revert 051de65db and implement alternative fix for remainder of #11115.