ajaxorg/cloud9 — pull request #1906 by giannis (2012-07-09 14:20:34+00:00)
Title: * fixes #1904

@lennartcl