mozilla/addon-sdk — pull request #1106 by jsantell (2013-07-15 21:15:44+00:00)
Title: Bug 850296 use devtool console

Via [PR 1019](https://github.com/mozilla/addon-sdk/pull/1019) with fixes