Merge pull request #11901 from ja-pa/redis-5.0.9
authorHannu Nyman <redacted>
Mon, 20 Apr 2020 13:12:22 +0000 (16:12 +0300)
committerGitHub <redacted>
Mon, 20 Apr 2020 13:12:22 +0000 (16:12 +0300)
redis: update to version 5.0.9


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