]> git.lyx.org Git - features.git/search
Fix bug #6672 (part 1): Notes, Footnotes, and Marginals are unnecessarily truncated.