diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-09-12 13:22:18 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-12 13:22:18 -0500 |
| commit | bb53da69578887befae195b18255967cc7f3fc59 (patch) | |
| tree | f228ee7380013f32d2e980d17ce3f24358fb3f2c /components/script/dom/request.rs | |
| parent | 35ea9c506378255e643668ead9e2d0a5ef4bb768 (diff) | |
| parent | 3eaf1c1b899f1626fc5672eb677d2ac148533790 (diff) | |
| download | servo-bb53da69578887befae195b18255967cc7f3fc59.tar.gz servo-bb53da69578887befae195b18255967cc7f3fc59.zip | |
Auto merge of #13245 - servo:reset-stop-propagation, r=nox
Correct an unsound optimization in event dispatch.
<!-- 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/13245)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/request.rs')
0 files changed, 0 insertions, 0 deletions