diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-12-09 12:24:18 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-09 12:24:18 -0500 |
| commit | daf7138f36afba34283bc665157f6e440d26635f (patch) | |
| tree | 212a8af95f5d88537a0cd876ff0adbe8c5d1047d /python/tidy/servo_tidy/tidy.py | |
| parent | e8d677ad264876838d297bd6843d0b02cc488dd9 (diff) | |
| parent | bd1e4f87b5463677937b82a61c39bcb792fbbbfc (diff) | |
| download | servo-daf7138f36afba34283bc665157f6e440d26635f.tar.gz servo-daf7138f36afba34283bc665157f6e440d26635f.zip | |
Auto merge of #25139 - asajeffrey:gstplugin-glmemory-bufferpool, r=Manishearth
Use a glmemory bufferpool
<!-- Please describe your changes on the following line: -->
This ensures the gstreamer plugin is always using GLMemory.
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #25121
- [x] These changes do not require tests because
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->
<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Diffstat (limited to 'python/tidy/servo_tidy/tidy.py')
0 files changed, 0 insertions, 0 deletions