diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2015-11-13 05:19:48 +0530 |
---|---|---|
committer | bors-servo <lbergstrom+bors@mozilla.com> | 2015-11-13 05:19:48 +0530 |
commit | 9eaa8e7b1f2e462f62b73477c30183c836a18399 (patch) | |
tree | 53dd87db90ce2e7095da789c73bbf7ea93a10da1 /components/script/dom/bindings/codegen/Configuration.py | |
parent | 1720595a85ff0a593994fed1d086288746c56aa3 (diff) | |
parent | 1dc0d61c3cfbfbb856c970e9bb4e72f45837a457 (diff) | |
download | servo-9eaa8e7b1f2e462f62b73477c30183c836a18399.tar.gz servo-9eaa8e7b1f2e462f62b73477c30183c836a18399.zip |
Auto merge of #8492 - jdm:e10s-timer-events, r=jdm
script: Make timer events e10s-safe.
Closes #8235.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8492)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/bindings/codegen/Configuration.py')
0 files changed, 0 insertions, 0 deletions