mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-29 02:45:35 +00:00
and add a new `pandocVersion` value with type `Version`. This is consistent with the type used for `pandocTypesVersion` and allows to use the value where a Version type is required.