From 2887dac427a1a21d5400105c6380d107fb2b3e9d Mon Sep 17 00:00:00 2001
From: Robert Nishihara <robertnishihara@gmail.com>
Date: Tue, 29 Jan 2019 19:19:05 -0800
Subject: [PATCH] Use Redis version 5.0.3. (#3886)

---
 thirdparty/scripts/build_redis.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/thirdparty/scripts/build_redis.sh b/thirdparty/scripts/build_redis.sh
index 7a90be8bf..c5d399542 100755
--- a/thirdparty/scripts/build_redis.sh
+++ b/thirdparty/scripts/build_redis.sh
@@ -8,7 +8,7 @@ set -e
 TP_DIR=$(cd "$(dirname "${BASH_SOURCE:-$0}")"; pwd)/../
 
 if [ ! -f $TP_DIR/pkg/redis/src/redis-server ]; then
-  redis_vname="4.0-rc2"
+  redis_vname="5.0.3"
   # This check is to make sure the tarball has been fully extracted. The only
   # relevant bit about redis/utils/whatisdoing.sh is that it is one of the last
   # files in the tarball.