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