Merge pull request #12393 from ja-pa/redis-6.0.4
authorRosen Penev <rosenp@gmail.com>
Wed, 3 Jun 2020 14:42:24 +0000 (07:42 -0700)
committerGitHub <noreply@github.com>
Wed, 3 Jun 2020 14:42:24 +0000 (07:42 -0700)
redis: update to version 6.0.4


Trivial merge