Merge "Deprecate $wgSquidPurgeUseHostHeader"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 19 Oct 2018 21:44:29 +0000 (21:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 19 Oct 2018 21:44:29 +0000 (21:44 +0000)
commitaa891dc74194c8f3fe1f23b14a66daa9415e923e
tree1aaa009a17f3230f9de3db4f0112b749443ac07b
parentc7734141e94c630beea5c4d53c6ca71500aae3b7
parent6c14dcfc973c04fe9aa32b900b9283fdf650b2d8
Merge "Deprecate $wgSquidPurgeUseHostHeader"