Files
servo/components/script/dom
bors-servo a905916ede 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 -->
2019-10-19 13:19:01 -04:00
..
2019-08-19 14:36:30 -03:00
2019-09-22 10:39:41 -04:00
2019-07-23 23:09:55 +02:00
2018-11-19 14:47:12 +01:00
2019-08-11 20:50:22 +02:00
2018-11-19 14:47:12 +01:00
2019-07-23 23:09:55 +02:00
2019-07-06 01:15:24 +09:00
2018-11-19 14:47:12 +01:00
2019-01-23 00:38:44 +08:00
2019-01-23 00:38:44 +08:00
2019-10-15 17:14:00 +09:00
2019-07-23 23:09:55 +02:00
2019-06-22 14:59:09 +02:00
2019-08-17 10:03:44 +02:00
2019-07-18 12:03:45 +08:00
2019-10-08 16:21:43 +02:00
2019-06-26 22:23:07 -06:00
2019-07-23 23:09:55 +02:00
2019-07-23 23:09:55 +02:00
2018-11-19 14:47:12 +01:00
2019-06-22 14:59:09 +02:00
2019-01-29 11:37:00 -08:00
2019-06-22 14:59:09 +02:00
2019-07-25 11:14:21 +09:00
2019-05-08 08:15:01 -07:00
2019-07-23 23:09:55 +02:00
2019-07-22 17:40:17 +02:00
2019-04-30 16:54:52 -07:00
2019-01-04 15:27:23 +01:00
2019-10-15 17:14:00 +09:00
2018-11-19 14:47:12 +01:00
2019-01-04 15:27:23 +01:00
2019-01-10 22:43:29 +08:00
2018-11-19 14:47:12 +01:00
2019-09-22 10:39:41 -04:00
2019-10-08 16:21:43 +02:00
2019-10-03 12:22:15 -07:00
2019-10-09 14:00:03 -07:00
2019-10-03 12:22:41 -07:00
2019-07-23 23:09:55 +02:00
2019-10-15 11:21:17 -07:00
2019-07-22 09:32:01 -07:00
2019-10-09 14:00:03 -07:00
2019-07-23 23:09:55 +02:00