mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-29 03:36:42 +00:00
This used to be necessary to avoid problems with hyperref, when headings contain strikeout text, but it does not seem to be necessary any more (tested).