diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-01-27 10:00:57 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-27 10:00:57 -0500 |
commit | da31405785be7af8f652205fe03cdc431280834f (patch) | |
tree | f19abe40f9044590c8efc31f4e09630b23916c5d /components/script/dom/webidls/PerformanceObserver.webidl | |
parent | f75b01f07d6645021ffd2811f02db376e9c2259c (diff) | |
parent | cfc79b019a5a82efdc61a5f8290319b2693e5ca6 (diff) | |
download | servo-da31405785be7af8f652205fe03cdc431280834f.tar.gz servo-da31405785be7af8f652205fe03cdc431280834f.zip |
Auto merge of #25620 - servo-wpt-sync:wpt_update_27-01-2020, r=servo-wpt-sync
Sync WPT with upstream (27-01-2020)
Automated downstream sync of changes from upstream as of 27-01-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'components/script/dom/webidls/PerformanceObserver.webidl')
0 files changed, 0 insertions, 0 deletions