diff options
| author | bors-servo <infra@servo.org> | 2023-01-23 09:48:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-23 09:48:15 +0100 |
| commit | 82b3d1043c373c580c6344c4fe72e24018c15c6e (patch) | |
| tree | 23a18762af4e382f64a70231a4e039dbbf771f79 /python/servo/bootstrap_commands.py | |
| parent | c650934765910c7c54878f5642af5752f3a2272b (diff) | |
| parent | 2c1d67642f1c207fad9396ed71bfa4b845ac0199 (diff) | |
| download | servo-82b3d1043c373c580c6344c4fe72e24018c15c6e.tar.gz servo-82b3d1043c373c580c6344c4fe72e24018c15c6e.zip | |
Auto merge of #29288 - andreubotella:support-python3.11, r=jdm
Make `mach` work on Python 3.11
This PR fixes the bug where `mach` fails when run on Python 3.11. It also reverts #29124, which added a workaround for this bug on the documentation.
---
<!-- 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 #29107 (already closed due to the workaround in #29124, but this PR fixes it)
<!-- Either: -->
- [ ] There are tests for these changes OR
- [X] These changes do not require tests because they only involve tooling and documentation
<!-- 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/bootstrap_commands.py')
0 files changed, 0 insertions, 0 deletions