dart-lang/chromedeveditor — pull request #3618 by devoncarew (2014-10-27 05:40:31+00:00)
Title: stagehand PR review changes

Updates for the review of https://github.com/dart-lang/chromedeveditor/pull/3611 - @ussuri.

(this isn't critical to merge into M17)