diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-03-19 18:22:23 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-19 18:22:23 -0700 |
| commit | 8d25dcb8b5f83728987171fe7a5b4905df741e58 (patch) | |
| tree | bd71ad8ba69f71d5c9a1eb47773d313a6ae969b4 /python/servo/lints/wpt_lint.py | |
| parent | bea126fb7333ca4ffaa9e7556141bc68b01ffd53 (diff) | |
| parent | 643545b87f1129dee6b96db33d28bf16d644f5ee (diff) | |
| download | servo-8d25dcb8b5f83728987171fe7a5b4905df741e58.tar.gz servo-8d25dcb8b5f83728987171fe7a5b4905df741e58.zip | |
Auto merge of #16033 - servo:per-document-locks, r=emilio
Per-document shared lock for author-origin stylesheets
Fix #16027
<!-- 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/16033)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/lints/wpt_lint.py')
0 files changed, 0 insertions, 0 deletions