diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-02-20 11:33:06 +0530 |
---|---|---|
committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-02-20 11:33:06 +0530 |
commit | 875f1e92ccafebc8ddebc722f430e5037007b9dc (patch) | |
tree | 405533b86dc170be5debabe57f3880b0a45654ad /components/script/dom/xmldocument.rs | |
parent | ff20a2d3dc574d73603783c5230a62e1c4c76723 (diff) | |
parent | 7ddb160f9c67e190a8751b285167a9070f2bb441 (diff) | |
download | servo-875f1e92ccafebc8ddebc722f430e5037007b9dc.tar.gz servo-875f1e92ccafebc8ddebc722f430e5037007b9dc.zip |
Auto merge of #9710 - paulrouget:fix9702, r=glennw
do not send mouseevent twice
Fix #9702
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.svg" height="40" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9710)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/xmldocument.rs')
0 files changed, 0 insertions, 0 deletions