diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-07-17 13:07:16 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-17 13:07:16 -0400 |
| commit | 88664912ed6934640516994b17dfd50fd444040e (patch) | |
| tree | 22e8cca9d6fc2aee269074af8854bf4cc7850ea5 /components/script/lib.rs | |
| parent | a55cbc66875698f386c1f7493a20697309ce6f2b (diff) | |
| parent | 8084cf882d2c4f7249d1b7479dd75b9758050dc6 (diff) | |
| download | servo-88664912ed6934640516994b17dfd50fd444040e.tar.gz servo-88664912ed6934640516994b17dfd50fd444040e.zip | |
Auto merge of #21193 - servo:jdm-patch-17, r=asajeffrey
Recreate virtualenv from scratch when syncing WPT
This fixes #21180 and attempts to work around #21145.
<!-- 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/21193)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/lib.rs')
0 files changed, 0 insertions, 0 deletions