diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-03-27 09:55:12 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-27 09:55:12 -0400 |
| commit | a927f1ad8a9ce211618139b2a69c8ce3b739438b (patch) | |
| tree | 1d0a346e63dd63a95938e80e355ce1434b442f6d /components/script/dom/webgl_extensions/ext | |
| parent | 16251cd8dbb3ee5d943b214aa6573d32f08bf93b (diff) | |
| parent | 3a3397fbce728c79aa5edf469a1a7763c3efcbde (diff) | |
| download | servo-a927f1ad8a9ce211618139b2a69c8ce3b739438b.tar.gz servo-a927f1ad8a9ce211618139b2a69c8ce3b739438b.zip | |
Auto merge of #25998 - jdm:vao-drop, r=nox
Avoid a panic when closing webgl pages using VAOs
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #25891
- [x] These changes do not require tests because GC behaviour at shutdown is nondeterministic and difficult to test
Diffstat (limited to 'components/script/dom/webgl_extensions/ext')
0 files changed, 0 insertions, 0 deletions