ajaxorg/cloud9 — pull request #1641 by zefhemel (2012-06-01 09:55:31+00:00)
Title: When the revisions UI wasn't loaded, and an external file change

occurred: ERROR. This is a fix.

@janjongboom