diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-03-03 16:09:36 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-03 16:09:36 -0500 |
commit | b1c2d58a32a3667f367219b99636088d7e628c79 (patch) | |
tree | 0dc8266a020ab77275c46149187a8e42ca7755a1 /components/script/dom/bindings/codegen/parser/WebIDL.py | |
parent | d3ad9d6ffb409f29c7fa38ac1f1577fa029ee9d7 (diff) | |
parent | 6186cb465d8320b1d945a26231943f9235419105 (diff) | |
download | servo-b1c2d58a32a3667f367219b99636088d7e628c79.tar.gz servo-b1c2d58a32a3667f367219b99636088d7e628c79.zip |
Auto merge of #22961 - servo:jdm-patch-19, r=jdm
Force a pickling protocol that will accept certain awkward classes.
This cherry-picks the important part of https://github.com/web-platform-tests/wpt/pull/15611 to unbreak the nightly WPT sync.
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22961)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/bindings/codegen/parser/WebIDL.py')
0 files changed, 0 insertions, 0 deletions