Merge pull request #6136 from MarshallOfSound/master
authorMachisté N. Quintana <mnquintana@users.noreply.github.com>
Sun, 19 Jun 2016 16:56:22 +0000 (09:56 -0700)
committerGitHub <noreply@github.com>
Sun, 19 Jun 2016 16:56:22 +0000 (09:56 -0700)
Fix typo in DevTools Extensions tutorial


Trivial merge