diff options
author | bors-servo <servo-ops@mozilla.com> | 2020-04-17 10:31:15 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-17 10:31:15 -0400 |
commit | 9dbc6554f087ca3675104fb1bac45b0c442a0158 (patch) | |
tree | 024364ba954d509076a26fb08316af9834aba1cb /components/webrender_surfman/lib.rs | |
parent | 3ca86eeba51aa326339da8794c302c48a7fc875d (diff) | |
parent | 21de781e2a848b0ac12ff267a253b289dac926ec (diff) | |
download | servo-9dbc6554f087ca3675104fb1bac45b0c442a0158.tar.gz servo-9dbc6554f087ca3675104fb1bac45b0c442a0158.zip |
Auto merge of #26209 - servo-wpt-sync:wpt_update_17-04-2020, r=servo-wpt-sync
Sync WPT with upstream (17-04-2020)
Automated downstream sync of changes from upstream as of 17-04-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'components/webrender_surfman/lib.rs')
0 files changed, 0 insertions, 0 deletions