]> git.lyx.org Git - features.git/search
Revert part of 47973dc2b, which was causing bug #11873.