Merge "rebuildrecentchanges.php: Make purgeFeeds() use the correct cache"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 25 May 2017 19:42:12 +0000 (19:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 25 May 2017 19:42:12 +0000 (19:42 +0000)
commit188c8966404cec56fcace874de57330abedb7129
treeef73881650835ea03b49db13bd7220b4a2fa0580
parentfaa44cac97a6c065f78260e7a1e0112235097c2e
parent09a5d5edd81418308f4b383cb823c2b7e3d6ce6b
Merge "rebuildrecentchanges.php: Make purgeFeeds() use the correct cache"