diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-05-25 02:29:38 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-25 02:29:38 -0400 |
| commit | c35379c6833d3e0a363b098c7fe410a66355931e (patch) | |
| tree | 92c5149684d9a9080b15bf771200100fdfb90262 /components/script_plugins/lib.rs | |
| parent | 31f91ec3e1871ace39bad2207c2d15b22fd09e33 (diff) | |
| parent | 7ddb44a302b5815ae10748b333750481e6ca2993 (diff) | |
| download | servo-c35379c6833d3e0a363b098c7fe410a66355931e.tar.gz servo-c35379c6833d3e0a363b098c7fe410a66355931e.zip | |
Auto merge of #20861 - servo-wpt-sync:wpt_update_24-05-2018, r=jdm
Sync WPT with upstream (24-05-2018)
Automated downstream sync of changes from upstream as of 24-05-2018.
[no-wpt-sync]
<!-- 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/20861)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script_plugins/lib.rs')
0 files changed, 0 insertions, 0 deletions