diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-12-17 14:40:33 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-17 14:40:33 -0800 |
commit | f6163c77b9ac979f8406ef6ffe90e8c8e4a054cc (patch) | |
tree | b5d95f9cb6c1aa47228b61f2bd9ca67bf4a1ad97 /components/script/dom/bluetoothdevice.rs | |
parent | 164426a7f90c90652d2d52c5a54be91154d26af7 (diff) | |
parent | 3db6514252ec9977fa977de88350c3f335ca8dd8 (diff) | |
download | servo-f6163c77b9ac979f8406ef6ffe90e8c8e4a054cc.tar.gz servo-f6163c77b9ac979f8406ef6ffe90e8c8e4a054cc.zip |
Auto merge of #14622 - emilio:last-restyle, r=bholley
stylo: Track the last restyle generation properly.
I couldn't reproduce locally, but I believe this fixes:
https://bugzilla.mozilla.org/show_bug.cgi?id=1323890
r? @heycam
<!-- 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/14622)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/bluetoothdevice.rs')
0 files changed, 0 insertions, 0 deletions