Merge pull request #13389 from ja-pa/redis-6.0.8
authorRosen Penev <rosenp@gmail.com>
Mon, 14 Sep 2020 09:52:29 +0000 (02:52 -0700)
committerGitHub <noreply@github.com>
Mon, 14 Sep 2020 09:52:29 +0000 (02:52 -0700)
redis: update to version 6.0.8


Trivial merge