diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-05-21 23:58:05 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-21 23:58:05 -0400 |
| commit | 415b26e4f11b25b317a37c406c1d6f1fc3709561 (patch) | |
| tree | 3825565edeb510c3ac096f02b2e1b5a5b8db4be9 /components/script/dom/webidls | |
| parent | f9e5e7fe4100cb23655383aa4a1afb5931c3deba (diff) | |
| parent | ceff9a61ef03f8e11de0f5cad3facc970b1d73fd (diff) | |
| download | servo-415b26e4f11b25b317a37c406c1d6f1fc3709561.tar.gz servo-415b26e4f11b25b317a37c406c1d6f1fc3709561.zip | |
Auto merge of #23434 - jdm:wpt-fix, r=Manishearth
Fix nightly WPT sync job
These changes were tested by triggering the daily hook with a branch that included them, and they caused #23433 to be opened successfully.
<!-- 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/23434)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/webidls')
0 files changed, 0 insertions, 0 deletions