diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-01-06 21:53:41 +0530 |
---|---|---|
committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-01-06 21:53:41 +0530 |
commit | f4a2fe95011167c3777892969ce1a413730a03e0 (patch) | |
tree | c252ca3beb0227b5cf9d6ebe390a21090a95e7ec /components/script/dom/bindings/codegen/GlobalGen.py | |
parent | 99689bc6b0531837f1af18ed4b7e4fd765595606 (diff) | |
parent | 268e2854396e1b02e12a4302970d9762b0349723 (diff) | |
download | servo-f4a2fe95011167c3777892969ce1a413730a03e0.tar.gz servo-f4a2fe95011167c3777892969ce1a413730a03e0.zip |
Auto merge of #9164 - paulrouget:updatePipelineURL, r=jdm
update pipeline url after redirections
`pipeline.url` is not updated after a redirection.
Fixes #8902
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9164)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/bindings/codegen/GlobalGen.py')
0 files changed, 0 insertions, 0 deletions