diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-10-04 03:15:13 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-04 03:15:13 -0400 |
commit | caa4d190af8bcd26df719e452b621952ae4dad0c (patch) | |
tree | 4a055f9cdfe2604602cc5e1676886f19a96bb171 /python/servo/util.py | |
parent | e56db1f322b504d9661a60127b74fb8e0bfc9669 (diff) | |
parent | 5e2118728a5ef4e6b99a7d1ee9fca1d44bb8bdaf (diff) | |
download | servo-caa4d190af8bcd26df719e452b621952ae4dad0c.tar.gz servo-caa4d190af8bcd26df719e452b621952ae4dad0c.zip |
Auto merge of #21867 - servo-wpt-sync:wpt_update_03-10-2018, r=jdm
Sync WPT with upstream (03-10-2018)
Automated downstream sync of changes from upstream as of 03-10-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/21867)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/util.py')
0 files changed, 0 insertions, 0 deletions