RELEASE-PROCEDURE: update the release calendar for 2019

diff --git a/docs/RELEASE-PROCEDURE b/docs/RELEASE-PROCEDURE
index b7f8fcda09125364d3a8a5bdd2a66cc49e603bb0..8d9c311e23e261cc4c60604b70890eae3e516f38 100644 (file)
--- a/docs/RELEASE-PROCEDURE
+++ b/docs/RELEASE-PROCEDURE
@@ -83,13 +83,13 @@ Coming dates
 Based on the description above, here are some planned release dates (at the
 time of this writing):
 
-- November 29, 2017
-- January 24, 2018
-- March 21, 2018
-- May 16, 2018
 - July 11, 2018
 - September 5, 2018
 - October 31, 2018
 - December 26, 2018
 - February 20, 2019
 - April 17, 2019
+- June 12, 2019
+- August 7, 2019
+- October 2, 2019
+- December 27, 2019