diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-11-18 11:35:25 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-18 11:35:25 -0500 |
| commit | 0d2c2045ccdce005eb6fc9235f3e7ca78da0db08 (patch) | |
| tree | 002fe0bbee15b87c92f6df5af02762580843cb9a /components/script/task_source | |
| parent | 49ec49f637d0c5c39227425b2f29b7366dc90939 (diff) | |
| parent | a256f2fccefb0618e36550350224e2b07ebb5337 (diff) | |
| download | servo-0d2c2045ccdce005eb6fc9235f3e7ca78da0db08.tar.gz servo-0d2c2045ccdce005eb6fc9235f3e7ca78da0db08.zip | |
Auto merge of #24664 - gterzian:fix_port_transfer, r=jdm
Fix loophole in messageport transfer
<!-- 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: -->
- [ ] `./mach build -d` does not report any errors
- [ ] `./mach test-tidy` does not report any errors
- [ ] These changes fix #24600 (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. -->
Diffstat (limited to 'components/script/task_source')
0 files changed, 0 insertions, 0 deletions