marijnh/CodeMirror — pull request #2044 by eborden (2013-12-11 16:53:46+00:00)
Title: JSHint options vs annotation error fix.

this commit fixes #2043