Merge "RCFilters: Update URL even when we skip fetching"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 22 Nov 2017 17:22:36 +0000 (17:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 22 Nov 2017 17:22:36 +0000 (17:22 +0000)
commitb72c4df18b00b3948f0319fa5b01f969e1b92dbd
tree749262c7eb8e9c0d856554e08fd1eff7c1c46594
parent288219cc2749d6b00175b159babab3d66b335530
parent9775f9ddb24e77bc871e2007b446a0e5d2684f47
Merge "RCFilters: Update URL even when we skip fetching"