]> git.lyx.org Git - features.git/search
Revert "Second tentative fix to #8159: Undo doesn't restore environment depth correctly"