Skip to content

Update Pandoc to 3.13 - #15320

Merged
cderv merged 32 commits into
mainfrom
chore/deps-v1.12-pandoc
Nov 12, 2026
Merged

cderv merged 32 commits into
mainfrom
chore/deps-v1.12-pandoc

Commits

  1. Commits on Nov 12, 2026