diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-03-23 14:32:37 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-23 14:32:37 -0700 |
| commit | 4838addb34102e92f388d53a596a394df25f231b (patch) | |
| tree | 00ca2e3c22855f0382e86d2e9aceda6286408ec0 /components/script/lib.rs | |
| parent | 636f8ceb50cef61e34fd5fbd74ed55f098fff72a (diff) | |
| parent | 79ae4384ca6d2321abdefcb5e5ee81527ad65143 (diff) | |
| download | servo-4838addb34102e92f388d53a596a394df25f231b.tar.gz servo-4838addb34102e92f388d53a596a394df25f231b.zip | |
Auto merge of #16102 - Wafflespeanut:edits, r=jdm
Request users to allow edits from maintainers in PRs
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.
---
<!-- 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/16102)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/lib.rs')
0 files changed, 0 insertions, 0 deletions