Merge "REST: Properly handle HEAD requests"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 17 Sep 2019 18:57:18 +0000 (18:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 17 Sep 2019 18:57:18 +0000 (18:57 +0000)
commit4fe1735ba32b11ab9115f36511508885045ebdb2
treeb1c79ecb979e6f13a658360053d3c208304c2b01
parent009a6e3fa955db1486b0dba9c7d42bc75e33cb0e
parent9911a3605019806e972a26f5d19cf9ac8c16c401
Merge "REST: Properly handle HEAD requests"