marijnh/CodeMirror — pull request #2165 by njx (2014-01-20 19:19:06+00:00)
Title: [closetag addon] Allow typing '/' if there's no matching open tag

This fixes the following bug:

1. Open demo/closetag.html
2. Delete all the text in the editor
3. Type `