diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-12-31 07:36:37 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-31 07:36:37 -0500 |
| commit | 90acd1adc3aa0300e5dea94855c595a19e718c6c (patch) | |
| tree | 0804bd0c9015109da1926dfe7a8e3ec66dcb473a /python/servo/build_commands.py | |
| parent | 267ce462d863498d5ccb134bb32c21fe3fc0e074 (diff) | |
| parent | dacb7e900262bf48bd635d8bd48e30c908d158c9 (diff) | |
| download | servo-90acd1adc3aa0300e5dea94855c595a19e718c6c.tar.gz servo-90acd1adc3aa0300e5dea94855c595a19e718c6c.zip | |
Auto merge of #25406 - servo-wpt-sync:wpt_update_31-12-2019, r=servo-wpt-sync
Sync WPT with upstream (31-12-2019)
Automated downstream sync of changes from upstream as of 31-12-2019.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'python/servo/build_commands.py')
0 files changed, 0 insertions, 0 deletions