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)
commitba2c714aa8cd1fc7bd9166d0d383cb271ee46062
treea0ad7343b6bfe75289f9fb3621443777da1209ac
parent2d7fcf3893b70fb953066784a9c2488734b38cfd
parent00eb395c3f63681f7908032c963bc78ea00ca719
Merge pull request #12075 from ja-pa/redis-update

redis: update to version 6.0.1