ajaxorg/cloud9 — pull request #2355 by sergi (2012-10-23 15:16:00+00:00)
Title: [Knuth] Fix for unexistent variable and other small tweaks. Fixes ajaxorg/cloud9infra#2914

Fix for ajaxorg/cloud9infra#2914. Relevant changes to that particular bug are in https://github.com/ajaxorg/cloud9/pull/new/fix/2914#L0R114