diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-07-13 09:15:31 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-13 09:15:31 -0400 |
| commit | 9fe92ecb4c35747fd58b13f6ae23eb0f31a14680 (patch) | |
| tree | 5f3da93eed4bf9b52e529773e776a3df70503704 /python/servo/package_commands.py | |
| parent | d2a593faed8dc05917d82bfc5a6eb0d647a44867 (diff) | |
| parent | da80d4ff01e2554a7a072e136531eb40c2e5eff6 (diff) | |
| download | servo-9fe92ecb4c35747fd58b13f6ae23eb0f31a14680.tar.gz servo-9fe92ecb4c35747fd58b13f6ae23eb0f31a14680.zip | |
Auto merge of #27229 - paulrouget:devtools_protocol_update, r=jdm
devtools: TabDescription actor
We could do better by creating the browsing context actor lazily, but that's good enough to re-enable devtools with a recent version of Firefox. fix #27113.
Diffstat (limited to 'python/servo/package_commands.py')
0 files changed, 0 insertions, 0 deletions