jgm/pandoc — pull request #907 by KholdStare (2013-07-13 06:52:15+00:00)
Title: Checking options before applying syntax highlighting for HTML output

This should fix issue #906 .