Merge pull request #13829 from ja-pa/redis-6.0.9
authorRosen Penev <rosenp@gmail.com>
Wed, 11 Nov 2020 06:40:31 +0000 (22:40 -0800)
committerGitHub <noreply@github.com>
Wed, 11 Nov 2020 06:40:31 +0000 (22:40 -0800)
redis: update to version 6.0.9


Trivial merge