| commit | ae6c85679990202a2699e01aa0ed360368cab389 | [log] [tgz] |
|---|---|---|
| author | Servo WPT Sync <32481905+servo-wpt-sync@users.noreply.github.com> | Thu Jan 04 18:38:35 2018 |
| committer | GitHub <noreply@github.com> | Thu Jan 04 18:38:35 2018 |
| tree | 035ad431580c648e2954feec7e8872675716b782 | |
| parent | a53a42c451c3b8a2f43bf186d0d615e385c581b8 [diff] | |
| parent | 6701e008e72c2e7c83123cea5eebcbb17e83893b [diff] |
Merge pull request #8917 from w3c/sync_6701e008e72c2e7c83123cea5eebcbb17e83893b Merge pull request #8917 from sync_6701e008e72c2e7c83123cea5eebcbb17e83893b