mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-29 02:45:35 +00:00
When the last parPart before a header was a bookmark, no span with an anchor was added for a bookmark in the header. But the function that adds header anchors to the anchor map, needs a span with an anchor. So this commit adds that span.