RELEASE-PROCEDURE.md: update release date

diff --git a/docs/RELEASE-PROCEDURE.md b/docs/RELEASE-PROCEDURE.md
index 03db8ae2f0b53d5dddf20f60e6c8b5012b00fd06..8f5239fe3eb49fc6b45fa71290dd66cfa2df087d 100644 (file)
--- a/docs/RELEASE-PROCEDURE.md
+++ b/docs/RELEASE-PROCEDURE.md
@@ -111,8 +111,7 @@ Coming dates
 Based on the description above, here are some planned release dates (at the
 time of this writing):
 
-- May 22, 2024
-- July 17, 2024
+- July 24, 2024
 - September 11, 2024
 - November 6, 2024
 - January 8, 2025