Upgrade to Redis 7.0.9

Author: carlosabalde

.github/workflows/main.yml

@@ -57,7 +57,7 @@ jobs:
 
       - name: Install Redis
         run: |
-          wget http://download.redis.io/releases/redis-7.0.0.tar.gz
+          wget http://download.redis.io/releases/redis-7.0.9.tar.gz
           tar zxvf redis-*.tar.gz
           pushd redis-*/
           make BUILD_TLS=yes

Vagrantfile

@@ -33,7 +33,7 @@ $script = <<SCRIPT
   # Redis.
   sudo -u vagrant bash -c '\
     cd /home/vagrant; \
-    wget http://download.redis.io/releases/redis-7.0.0.tar.gz; \
+    wget http://download.redis.io/releases/redis-7.0.9.tar.gz; \
     tar zxvf redis-*.tar.gz; \
     rm -f redis-*.tar.gz; \
     cd redis-*; \