marijnh/CodeMirror — pull request #2376 by tpaksu (2014-03-16 19:50:32+00:00)
Title: Update for missing remote resources

They are blocking the whole page to load when remote resource can't be found. This is the fix for that.