c39bd425cd
<!-- 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 - [x] These changes fix #13141 (github issue number if applicable). <!-- Either: --> - [x] These changes do not require tests because it's a cleanup related to `mach` <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. --> Source-Repo: https://github.com/servo/servo Source-Revision: e699d9bfad6ce5e1b0cf31d5a6d06512e267f41a