mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-29 03:36:42 +00:00
This reverts commit 295c6b0485.
This was actually slower than what we had before (14m on second
run, as compared to 12m).
This reverts commit 295c6b0485.
This was actually slower than what we had before (14m on second
run, as compared to 12m).