Merge "Rewrite OutputPage::addVaryHeader"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 10 Sep 2015 15:00:30 +0000 (15:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 10 Sep 2015 15:00:30 +0000 (15:00 +0000)
commitc0816e40320c6e23fef4ac34a6230f82832e2fac
tree62a631e21eeb8f91d5a48911575f3eadb404beb1
parentf50ab003d803d47bfe67b02e0c0de9c9f29bf915
parent6af306afa8f5e526afc2f131e2434200cd509737
Merge "Rewrite OutputPage::addVaryHeader"