mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-12 18:45:58 +00:00
We only walk the tree to raise big notes if the document contains big notes (it is fast to check). The removes the slight performance penalty of #9168 for most documents.