diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-10-19 20:52:19 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-19 20:52:19 -0500 |
| commit | 21926e0008d2ae67ad21b73f080eadc2ef82d958 (patch) | |
| tree | 44c5d363a8527910375e9be9103f0950c1639503 /components/script/dom/webgl_extensions/mod.rs | |
| parent | 89c1892b304fc0a609a291724286a0bf9ebf4605 (diff) | |
| parent | ab80031091a27fa814e581a2a067335639f69946 (diff) | |
| download | servo-21926e0008d2ae67ad21b73f080eadc2ef82d958.tar.gz servo-21926e0008d2ae67ad21b73f080eadc2ef82d958.zip | |
Auto merge of #18961 - servo:jdm-patch-5, r=glennw
Update mozlog dependency
wptrunner repends on mozlog 3.5, but we only require 3.3. Somehow some of the builders have 3.5 installed, but this is causing lots of problems for us.
<!-- 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/18961)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/webgl_extensions/mod.rs')
0 files changed, 0 insertions, 0 deletions