diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-11-06 05:01:06 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-06 05:01:06 -0500 |
| commit | a931a80cf5ad644cba8d8445cd0a62e55f04b906 (patch) | |
| tree | fc80461ff204d9d5b7b0c1772db57e11beed5e58 /components/script/lib.rs | |
| parent | 8abc272d27edf06840b23db79f76a4c3a6a8ed41 (diff) | |
| parent | 56b3005721ce88674dd46a8fe068e0bb25d52567 (diff) | |
| download | servo-a931a80cf5ad644cba8d8445cd0a62e55f04b906.tar.gz servo-a931a80cf5ad644cba8d8445cd0a62e55f04b906.zip | |
Auto merge of #24661 - paulrouget:dedupehist, r=asajeffrey
Only updated history once
We get the `HistoryChanged` event twice in many situations. This should fix it.
@cbrewster do these change make sense?
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #24633 (GitHub issue number if applicable)
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->
<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Diffstat (limited to 'components/script/lib.rs')
0 files changed, 0 insertions, 0 deletions