commit | 380038af915363d57afbc45cefcad41dbdf60bde | [log] [tgz] |
---|---|---|
author | Servo WPT Sync <32481905+servo-wpt-sync@users.noreply.github.com> | Thu Oct 12 13:04:55 2017 |
committer | GitHub <noreply@github.com> | Thu Oct 12 13:04:55 2017 |
tree | 1ad1fc39194167099c512e7eba91632f103fecc5 | |
parent | 19f15f74ff4e5af1487ae58b430aaa47baac40d5 [diff] | |
parent | de14d68a7a0609e30caf9223406b7c422c92bbdc [diff] |
Merge pull request #7696 from w3c/sync_de14d68a7a0609e30caf9223406b7c422c92bbdc Merge pull request #7696 from sync_de14d68a7a0609e30caf9223406b7c422c92bbdc