Updating redis binary for makefile to 7.2.1 (#2693)

* updating redis binary from makefile to 7.2.0

* redis 7.2.1

---------

Co-authored-by: ofekshenawa <[email protected]>

Author: chayim

Makefile

@@ -23,7 +23,7 @@ bench: testdeps
 
 testdata/redis:
 	mkdir -p $@
-	wget -qO- https://download.redis.io/releases/redis-7.2-rc3.tar.gz | tar xvz --strip-components=1 -C $@
+	wget -qO- https://download.redis.io/releases/redis-7.2.1.tar.gz | tar xvz --strip-components=1 -C $@
 
 testdata/redis/src/redis-server: testdata/redis
 	cd $< && make all