3b4f8fc Update to redis 4.2.5.

Authored and Committed by vondruch 3 years ago
    Update to redis 4.2.5.
    
    Resolves: rhbz#1898465
    
        
file modified
+6 -2
file modified
+2 -2