ajaxorg/ace — pull request #1383 by rgriffith (2013-04-22 14:18:41+00:00)
Title: Improvement to HTML comments

Fixed issue where HTML comments were not properly ending, causing all code after the start comment tag to appear commented out.