Merge "Fix namespace handling on Special:PagesWithProp"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 20 Sep 2019 10:32:31 +0000 (10:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 20 Sep 2019 10:32:31 +0000 (10:32 +0000)
commitb75ff27af463302a6fb2ccf21d80a0f798b81caa
tree390f2cc6c70cea6a28712b8cbdace11f0229185d
parent75e1edeacd5c976354ecac4e8056716fb82569e4
parentdd9328185fb5c294b321f52d46f1b5ab3ae6cea1
Merge "Fix namespace handling on Special:PagesWithProp"