Update Redis to 5.0.9 (#8722)

This commit is contained in:
Simon Mo 2020-06-02 14:10:07 -07:00 committed by GitHub
parent e91f095d98
commit a8e4ddbd57
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -75,8 +75,8 @@ def ray_deps_setup():
auto_http_archive(
name = "com_github_antirez_redis",
build_file = "//bazel:BUILD.redis",
url = "https://github.com/antirez/redis/archive/5.0.3.tar.gz",
sha256 = "7084e8bd9e5dedf2dbb2a1e1d862d0c46e66cc0872654bdc677f4470d28d84c5",
url = "https://github.com/antirez/redis/archive/5.0.9.tar.gz",
sha256 = "db9bf149e237126f9bb5f40fb72f33701819555d06f16e9a38b4949794214201",
patches = [
"//thirdparty/patches:hiredis-connect-rename.patch",
"//thirdparty/patches:hiredis-windows-sigpipe.patch",