diff options
| author | bors-servo <infra@servo.org> | 2023-07-01 04:43:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-01 04:43:34 +0200 |
| commit | f034eb60323c1501ba00e86cb7c2de243f41b56c (patch) | |
| tree | 48e69dc89556ed03fd7c1a409434ea5967299233 /python/servo/platform | |
| parent | fe5b494e3f7a977c34ad2ad8758d94c8be41bee1 (diff) | |
| parent | fe37b89b958df8610814f8bd055298f430eabcbf (diff) | |
| download | servo-f034eb60323c1501ba00e86cb7c2de243f41b56c.tar.gz servo-f034eb60323c1501ba00e86cb7c2de243f41b56c.zip | |
Auto merge of #29953 - Loirooriol:remove-unused-variable, r=jdm
Remove unused variable
Just a remnant from #29850, it was causing a build warning.
<!-- Please describe your changes on the following line: -->
---
<!-- 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
- [ ] These changes fix #___ (GitHub issue number if applicable)
<!-- Either: -->
- [ ] There are tests for these changes OR
- [ ] 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/servo/platform')
0 files changed, 0 insertions, 0 deletions