Done
https://github.com/jgm/pandoc/issues/4576
Thanks
--
jeremy
www.seamplex.com
On Fri, 2018-04-20 at 21:20 -0700, John MacFarlane wrote:
Please submit a bug report on the GitHub tracker for jgm/pandoc.