ajaxorg/cloud9 — pull request #1936 by giannis (2012-07-12 15:21:06+00:00)
Title: * add document title notifications

* fixes ajaxorg/cloud9infra#1973

@linh81 or @zefhemel