diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-10-03 04:02:17 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-03 04:02:17 -0400 |
| commit | bbef6712767d43c2432ff749db888ceb1e6e74ef (patch) | |
| tree | cc3e0a5356d08f13f0bbd123e747b0557f27c5eb /python/servo/build_commands.py | |
| parent | 021a24d5bb8dc54bc4496b528d821f11aa3ca745 (diff) | |
| parent | 2a8d9b6983b8881c1be93d074eab962369efd266 (diff) | |
| download | servo-bbef6712767d43c2432ff749db888ceb1e6e74ef.tar.gz servo-bbef6712767d43c2432ff749db888ceb1e6e74ef.zip | |
Auto merge of #21858 - servo-wpt-sync:wpt_update_02-10-2018, r=jdm
Sync WPT with upstream (02-10-2018)
Automated downstream sync of changes from upstream as of 02-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/21858)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/build_commands.py')
0 files changed, 0 insertions, 0 deletions