Skip to content
Snippets Groups Projects

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

Passed
Bas Nijholt created pipeline for commit cde36699
, finished
For master
branch
1 job 22 seconds, queued for 0 seconds