diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-02-12 01:45:58 +0530 |
---|---|---|
committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-02-12 01:45:58 +0530 |
commit | b870aa90878acf97074fa55260beb8acfd125f22 (patch) | |
tree | d5ec6df2484444442f6c65a3e743c585dc3f4f86 /components/script/mem.rs | |
parent | 5942e9e3cb2fb588eb82198fd5548a42303a559f (diff) | |
parent | a1f0b39340039adf66f0cf2295b3602e29586df4 (diff) | |
download | servo-b870aa90878acf97074fa55260beb8acfd125f22.tar.gz servo-b870aa90878acf97074fa55260beb8acfd125f22.zip |
Auto merge of #8987 - jdm:devtoolsreport, r=glennw
Report CSS errors to script task for further processing.
This was a missing piece from #8838.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8987)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/mem.rs')
0 files changed, 0 insertions, 0 deletions