RELEASE-PROCEDURE: remove old release dates, add new pending ones

diff --git a/docs/RELEASE-PROCEDURE.md b/docs/RELEASE-PROCEDURE.md
index 2b5cbb88061fce6031e272068cb0804d6ad41250..e48a4d28a22cdca82668dbf10526d0ae63c9a19c 100644 (file)
--- a/docs/RELEASE-PROCEDURE.md
+++ b/docs/RELEASE-PROCEDURE.md
@@ -106,11 +106,11 @@ Coming dates
 Based on the description above, here are some planned release dates (at the
 time of this writing):
 
-- October 11, 2023
-- December 6, 2023
-- January 31, 2024
-- March 27, 2024
 - May 22, 2024
 - July 17, 2024
 - September 11, 2024
 - November 6, 2024
+- January 8, 2025
+- March 5, 2025
+- April 30, 2025
+- June 25, 2025