Skip to content
Snippets Groups Projects
Commit cde36699 authored by Bas Nijholt's avatar Bas Nijholt
Browse files

fix problem in https://github.com/jgm/pandoc/issues/4716

parent 78c0d67c
No related branches found
No related tags found
Checking pipeline status