mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-01 15:38:09 +08:00
355794549d
This fixes commit 3666d79ae7
which closed #8379.