diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-10-24 20:38:23 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-24 20:38:23 -0500 |
| commit | 6029c927eef7332a0b0ee9a7c8c7b6c9065e23b2 (patch) | |
| tree | 8fbe44e02d8e2da3b4fc6b237e2a463aa6f4c1c8 /components/script/dom/userscripts.rs | |
| parent | 8bd79789803157bf9ef7a57738fe99a7c04ac71f (diff) | |
| parent | 04139b8dd6de9855b339bb8f8f86bd3e5db8c72d (diff) | |
| download | servo-6029c927eef7332a0b0ee9a7c8c7b6c9065e23b2.tar.gz servo-6029c927eef7332a0b0ee9a7c8c7b6c9065e23b2.zip | |
Auto merge of #13900 - glennw:update-wr-more-opts, r=pcwalton
Update WR - includes a number of optimizations, bsd build fixes, tidy ups.
<!-- 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/13900)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/userscripts.rs')
0 files changed, 0 insertions, 0 deletions