Merge "Also redirect if prefixed https cookie is preset"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 1 Sep 2013 16:41:07 +0000 (16:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 1 Sep 2013 16:41:07 +0000 (16:41 +0000)
commitb66c5c95a2e63df8fcd34b9aca46a81648983fce
treec16ad888a6e31362ee4fc0bc472624b28f2b0204
parentb99d68c60d6235fe11326b93a596da69106ae5dd
parent5e5843689a71e71e47145888360da590362839cf
Merge "Also redirect if prefixed https cookie is preset"