Merge pull request #13319 from ja-pa/redis-6.0.7
authorHannu Nyman <hannu.nyman@iki.fi>
Mon, 7 Sep 2020 14:33:37 +0000 (17:33 +0300)
committerGitHub <noreply@github.com>
Mon, 7 Sep 2020 14:33:37 +0000 (17:33 +0300)
redis: update to version 6.0.7


Trivial merge