]> git.lyx.org Git - features.git/search
Fix bug #6968: isExternallyModified remains "true" after "Revert to Saved".