author Ravi Shankar <>
Thu, 23 Mar 2017 14:32:37 -0700
changeset 349309 873ccd759d932a973695329530a3fedf423997ad
parent 339456 76b64a3a0c4f4ea2638dcbeb6d2b4c0058c2d74b
child 411551 921a6c4f71224fc825aff96f6f4461a83e5d2883
permissions -rw-r--r--
servo: Merge #16102 - Request users to allow edits from maintainers in PRs (from Wafflespeanut:edits); r=jdm Github auto-unchecks this checkbox once the PR has been opened. So, I'm not sure how useful this is gonna be, but it's worth mentioning anyway. --- Source-Repo: Source-Revision: 4838addb34102e92f388d53a596a394df25f231b

<!-- 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 #__ (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. -->