diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-05-25 00:45:33 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-25 00:45:33 -0400 |
commit | 31f91ec3e1871ace39bad2207c2d15b22fd09e33 (patch) | |
tree | 293728808238b4903e2162933b8b6d439feec553 /components/script/dom/htmlbrelement.rs | |
parent | f63284efc04b298b010f34f5225a3fa9014bf763 (diff) | |
parent | b5232673491572733123383920aafc9a92f6e540 (diff) | |
download | servo-31f91ec3e1871ace39bad2207c2d15b22fd09e33.tar.gz servo-31f91ec3e1871ace39bad2207c2d15b22fd09e33.zip |
Auto merge of #20854 - servo:webgl, r=emilio
Drive-by fixes in WebGL
<!-- 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/20854)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlbrelement.rs')
0 files changed, 0 insertions, 0 deletions