ajaxorg/cloud9 — pull request #1687 by javruben (2012-06-08 23:47:55+00:00)
Title: Issues/1437

Fixes ajaxorg/cloud9infra#1437