From 825843db9e6c63565695c8c77bb8cffc49cee252 Mon Sep 17 00:00:00 2001
From: antirez <antirez@gmail.com>
Date: Wed, 20 Feb 2019 17:26:31 +0100
Subject: [PATCH] Redis 4.0.13.

---
 00-RELEASENOTES | 9 +++++++++
 src/version.h   | 2 +-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/00-RELEASENOTES b/00-RELEASENOTES
index a3e562bfe..2436485ff 100644
--- a/00-RELEASENOTES
+++ b/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
 ================================================================================
diff --git a/src/version.h b/src/version.h
index f3e783bbd..5fc5951da 100644
--- a/src/version.h
+++ b/src/version.h
@@ -1 +1 @@
-#define REDIS_VERSION "4.0.12"
+#define REDIS_VERSION "4.0.13"