From 7f4bae817614988c43c3024402d16edcbf3b3277 Mon Sep 17 00:00:00 2001
From: Oran Agra <oran@redislabs.com>
Date: Wed, 1 Nov 2023 10:39:25 +0200
Subject: [PATCH] Redis 7.2.3

---
 00-RELEASENOTES | 14 ++++++++++++++
 src/version.h   |  4 ++--
 2 files changed, 16 insertions(+), 2 deletions(-)

diff --git a/00-RELEASENOTES b/00-RELEASENOTES
index 92a19c4b0..c3aacab28 100644
--- a/00-RELEASENOTES
+++ b/00-RELEASENOTES
@@ -12,6 +12,20 @@ SECURITY: There are security fixes in the release.
 --------------------------------------------------------------------------------
 
 
+================================================================================
+Redis 7.2.3    Released Wed 01 Nov 2023 12:00:00 IST
+================================================================================
+
+Upgrade urgency: HIGH, Fixes critical bugs affecting most users.
+
+Bug fixes
+=========
+
+* Fix file descriptor leak preventing deleted files from freeing disk space on
+  replicas (#12693)
+* Fix a possible crash after cluster node removal (#12702)
+
+
 ================================================================================
 Redis 7.2.2    Released Wed 18 Oct 2023 10:33:40 IDT
 ================================================================================
diff --git a/src/version.h b/src/version.h
index 345364d6a..21e1efaa3 100644
--- a/src/version.h
+++ b/src/version.h
@@ -1,2 +1,2 @@
-#define REDIS_VERSION "7.2.2"
-#define REDIS_VERSION_NUM 0x00070202
+#define REDIS_VERSION "7.2.3"
+#define REDIS_VERSION_NUM 0x00070203