diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-10-19 13:19:01 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-19 13:19:01 -0400 |
| commit | a905916edeed869d5065e50a5f931d373fc8a4ab (patch) | |
| tree | 23d10c7e7858d45839658bb1efd3cc7232fe620b /python/mach_bootstrap.py | |
| parent | 55e60f992c0a29dd9c3d168f586b5172e90bd35a (diff) | |
| parent | 2f8932a6a1e2666567435114383b3acd1899aca7 (diff) | |
| download | servo-a905916edeed869d5065e50a5f931d373fc8a4ab.tar.gz servo-a905916edeed869d5065e50a5f931d373fc8a4ab.zip | |
Auto merge of #23637 - gterzian:continue-message-port, r=jdm
Continue message port
<!-- Please describe your changes on the following line: -->
Fixes #7457.
Fixes #12715.
Fixes #12717.
Fixes #16095.
Fixes #18969.
---
<!-- 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
- [ ] `./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. -->
<!-- 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/23637)
<!-- Reviewable:end -->
Diffstat (limited to 'python/mach_bootstrap.py')
0 files changed, 0 insertions, 0 deletions