Merge pull request #12075 from ja-pa/redis-update
authorRosen Penev <rosenp@gmail.com>
Wed, 13 May 2020 23:33:16 +0000 (16:33 -0700)
committerGitHub <noreply@github.com>
Wed, 13 May 2020 23:33:16 +0000 (16:33 -0700)
redis: update to version 6.0.1


Trivial merge