Merge pull request #19830 from kewljuice/patch-6
authorEileen McNaughton <emcnaughton@wikimedia.org>
Thu, 18 Mar 2021 21:24:42 +0000 (10:24 +1300)
committerGitHub <noreply@github.com>
Thu, 18 Mar 2021 21:24:42 +0000 (10:24 +1300)
Fix deprecated Redis::delete() (issue #2468)


Trivial merge