Merge pull request #12891 from ja-pa/redis-6.0.6
authorRosen Penev <rosenp@gmail.com>
Tue, 21 Jul 2020 19:35:40 +0000 (12:35 -0700)
committerGitHub <noreply@github.com>
Tue, 21 Jul 2020 19:35:40 +0000 (12:35 -0700)
redis: update to version 6.0.6


Trivial merge