diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-09-25 08:34:16 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-25 08:34:16 -0400 |
| commit | ea2ca7ed4a2769cae9ae90ce3555696f9df96281 (patch) | |
| tree | c9df29bac34583b9a1144e893287f1d052adf78c /python/servo/devenv_commands.py | |
| parent | 10cf425069685a868c3007e129ec037edc43ab4d (diff) | |
| parent | 89dd7506310847f6f9ba0d53f598ce2d6ed96ccc (diff) | |
| download | servo-ea2ca7ed4a2769cae9ae90ce3555696f9df96281.tar.gz servo-ea2ca7ed4a2769cae9ae90ce3555696f9df96281.zip | |
Auto merge of #21805 - jdm:jsup, r=jdm
Upgrade mozjs.
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #21469
- [x] There are tests for these changes
<!-- 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/21805)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/devenv_commands.py')
0 files changed, 0 insertions, 0 deletions