mirror of
https://github.com/jgm/pandoc.git
synced 2026-11-02 05:03:35 +08:00
Non-ascii characters were not stripped from identifiers even if the `ascii_identifiers` extension was enabled (which is is by default for gfm). Closes #4742