diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-07-31 05:14:24 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-31 05:14:24 -0400 |
| commit | 6e7f7fc8eba432ca5f34c55f668fd7968263f52d (patch) | |
| tree | 2fbd1119f009e202abdcf0cd830f1cc08bd639ad /python/servo/devenv_commands.py | |
| parent | b8b691d0630674c9f907cba4845d8bd76b8ceb79 (diff) | |
| parent | 34d1195af305bd2c1015a84fab9d71ee8cd0155c (diff) | |
| download | servo-6e7f7fc8eba432ca5f34c55f668fd7968263f52d.tar.gz servo-6e7f7fc8eba432ca5f34c55f668fd7968263f52d.zip | |
Auto merge of #21284 - servo:webgl, r=emilio
Various fixes for the lifecycle of 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/21284)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/devenv_commands.py')
0 files changed, 0 insertions, 0 deletions