Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #23324 - marcinwiacek:ubuntu1904, r=jdm
Changes for Ubuntu/Ubuntu 19.04 in bootstrap.py Update handling Ubuntu distributions: 1. script correctly returns error when some version is/was not supported (checked with Ubuntu 19.04) 2. for Ubuntu 19.04 Disco Dingo there are correct packages installed Note: this is my commit to this project, please forgive any mistakes. --- <!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: --> - [ ] `./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 - [x] These changes do not require tests because are updating bootstrap.py script <!-- 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. --> <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/23324) <!-- Reviewable:end -->
- Loading branch information