This repository has been archived by the owner on Dec 11, 2019. It is now read-only.

Adds support for devtools protocol #8572

Merged

jonathansampson merged 1 commit into master from chrome-devtools-protocol

Apr 29, 2017

Collaborator

jonathansampson commented Apr 29, 2017

Submitted a ticket for my issue if one did not already exist.
Used Github auto-closing keywords in the commit message.
Added/updated tests for this change (for new code or code which already has tests).
Ran git rebase -i to squash commits (if needed).

Fixes #8571

Auditor: @bbondy


          Adds support for devtools protocol

0f9062f

jonathansampson added feature/developer-tools feature/URLbar labels

jonathansampson added this to the 0.15.1 milestone

jonathansampson merged commit a6a84de into master

jonathansampson deleted the chrome-devtools-protocol branch

April 29, 2017 07:32

Member

bbondy commented Apr 29, 2017

++

alexwykoff modified the milestones: 0.15.2, 0.15.1

# for free to subscribe to this conversation on GitHub. Already have an account? #.

Labels

feature/developer-tools feature/URLbar