Merge "objectcache: avoid using deprecated phpredis::delete() alias"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 7 Aug 2019 15:14:08 +0000 (15:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 7 Aug 2019 15:14:08 +0000 (15:14 +0000)
commit8e338a10c044970fc0417bfa4fbd9d1bf8e10b8e
treec3261f3fea7c5bab33f3d31dbf7af1944d69d5f9
parentac619fc4a60f4d7538b0fda496f25d2eb7f0c220
parentf445700ccc6f7f48158ae27d2cd13004675fd431
Merge "objectcache: avoid using deprecated phpredis::delete() alias"