diff options
| author | bors-servo <servo-ops@mozilla.com> | 2022-08-06 09:10:54 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-06 09:10:54 -0400 |
| commit | cf4f3dd5eb0eb648e071081e96d8272206548f8b (patch) | |
| tree | b0afe4b3f74f07d8db873b9bc2f762c2ecdd887a /python | |
| parent | 9c6847a387cb515bd73336cf1439c942a33a0758 (diff) | |
| parent | f70b7a5165638940f484c13e43185c75df08def5 (diff) | |
| download | servo-cf4f3dd5eb0eb648e071081e96d8272206548f8b.tar.gz servo-cf4f3dd5eb0eb648e071081e96d8272206548f8b.zip | |
Auto merge of #28909 - teymour-aldridge:minor-updates, r=jdm
Minor updates
---
<!-- 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 #28905 (GitHub issue number if applicable)
<!-- Either: -->
- [ ] There are tests for these changes OR
- [x] These changes do not require tests because they are very small changes
<!-- 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')
| -rw-r--r-- | python/servo/bootstrap.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index a3c5c9efb34..6d288ac2a68 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -390,6 +390,7 @@ def get_linux_distribution(): 'centos linux', 'debian gnu/linux', 'fedora', + 'fedora linux', 'void', 'nixos', ]: |