ajaxorg/cloud9 — pull request #587 by zefhemel (2011-11-30 12:47:29+00:00)
Title: Fix for formal argument rename

https://github.com/ajaxorg/cloud9/issues/586