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


Trivial merge
git clone https://git.99rst.org/PROJECT