diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-10-16 08:16:28 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-16 08:16:28 -0400 |
commit | a77ad4288ceda844d99e47fc89e0cd05bd01bd85 (patch) | |
tree | 09c18547e976e8c9e76ccf3f036b44be99887f48 /support | |
parent | 4625160f0af794e2675e8a81389c44dfa291c3d5 (diff) | |
parent | c010ae88cdba0a4b654413733b2a07e2a685d409 (diff) | |
download | servo-a77ad4288ceda844d99e47fc89e0cd05bd01bd85.tar.gz servo-a77ad4288ceda844d99e47fc89e0cd05bd01bd85.zip |
Auto merge of #21959 - servo:webgl, r=jdm
Fix a couple of Drop implementations for WebGL objects
<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/21959)
<!-- Reviewable:end -->
Diffstat (limited to 'support')
0 files changed, 0 insertions, 0 deletions