Redis 4.0.13.

Author: antirez

00-RELEASENOTES

@@ -10,6 +10,15 @@ HIGH: There is a critical bug that may affect a subset of users. Upgrade!
 CRITICAL: There is a critical bug affecting MOST USERS. Upgrade ASAP.
 --------------------------------------------------------------------------------
 
+================================================================================
+Redis 4.0.13 Released Wed Feb 20 17:25:31 CEST 2019
+================================================================================
+
+This release just backports a few fixes from Redis 5:
+
+60b2537f rewrite BRPOPLPUSH as RPOPLPUSH to propagate
+afc4b36c Don't treat unsupported protocols as fatal errors
+
 ================================================================================
 Redis 4.0.12 Released Tue Dec 11 18:06:12 CEST 2018
 ================================================================================

src/version.h

@@ -1 +1 @@
-#define REDIS_VERSION "4.0.12"
+#define REDIS_VERSION "4.0.13"