diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-08-04 05:33:40 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-04 05:33:40 -0500 |
commit | 41cb4f4c77e8873a291218284db41118da43f708 (patch) | |
tree | 280185971d6f4818d83c78920b3360ae5065e5dd /python/servo/package_commands.py | |
parent | 54b3668431fb1d817b9988f24ad9ce7bf17b3f55 (diff) | |
parent | f68abd972132a0891853d47e91d011f0ae50ed73 (diff) | |
download | servo-41cb4f4c77e8873a291218284db41118da43f708.tar.gz servo-41cb4f4c77e8873a291218284db41118da43f708.zip |
Auto merge of #12731 - paulrouget:bhtmlupdate, r=nox
Browserhtml update
We also changed the branch name.
Fix #12012
<!-- 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/12731)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/package_commands.py')
0 files changed, 0 insertions, 0 deletions