Files
servo/components/script
bors-servo c0be03f2af Auto merge of #8701 - nerith:attribute, r=jdm
Remove `#[allow(raw_pointer_derive)]` attributes

The attributes are unused.

Fixes #8699.

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8701)
<!-- Reviewable:end -->
2015-11-28 06:07:46 +05:30
..
2015-11-27 14:55:41 +01:00
2015-03-18 21:53:48 +01:00
2015-11-18 11:14:05 +01:00
2015-11-18 11:14:05 +01:00
2015-11-18 11:14:05 +01:00
2015-10-30 20:26:29 +09:00
2015-11-25 10:13:21 -06:00