diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-11-07 00:40:42 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-07 00:40:42 -0500 |
commit | 618a790050d8eab39e3c44b3d39dfefa7648445e (patch) | |
tree | 1fdd80bb94ab4fa1694ec7eee0e077f0cb181773 /python/servo/devenv_commands.py | |
parent | 62d726369f816b0050fd73cc0610077ce7c8662d (diff) | |
parent | 1c5e4b306717b6c0fdd4f9f8100416ec1dfde115 (diff) | |
download | servo-618a790050d8eab39e3c44b3d39dfefa7648445e.tar.gz servo-618a790050d8eab39e3c44b3d39dfefa7648445e.zip |
Auto merge of #22074 - jdm:wrup, r=nox
Update webrender.
Fixes #22114.
<!-- 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/22074)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/devenv_commands.py')
0 files changed, 0 insertions, 0 deletions