diff options
-rw-r--r-- | 00-RELEASENOTES | 9 | ||||
-rw-r--r-- | src/version.h | 2 |
2 files changed, 10 insertions, 1 deletions
diff --git a/00-RELEASENOTES b/00-RELEASENOTES index a3e562bfe..2436485ff 100644 --- a/00-RELEASENOTES +++ b/00-RELEASENOTES @@ -11,6 +11,15 @@ 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" |