diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-12-26 07:48:24 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-26 07:48:24 -0500 |
| commit | 44b3e8bb7139f9599385b348d19d4dce556c9ea8 (patch) | |
| tree | 5d3523362a30057feb78fcb955a616ce7d67179d /components/script/task_source/timer.rs | |
| parent | 8002c6bc53041c55dc1148fed008b9a229df0e9b (diff) | |
| parent | 7b9544157403351e7311ae2ae1816b29c764fabf (diff) | |
| download | servo-44b3e8bb7139f9599385b348d19d4dce556c9ea8.tar.gz servo-44b3e8bb7139f9599385b348d19d4dce556c9ea8.zip | |
Auto merge of #25396 - servo-wpt-sync:wpt_update_26-12-2019, r=servo-wpt-sync
Sync WPT with upstream (26-12-2019)
Automated downstream sync of changes from upstream as of 26-12-2019.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'components/script/task_source/timer.rs')
0 files changed, 0 insertions, 0 deletions