docs/RELEASE-PROCEDURE: remove old entries, modify the Dec 2018 date

... I'm moving it up one week due to travels. The rest stays.

diff --git a/docs/RELEASE-PROCEDURE.md b/docs/RELEASE-PROCEDURE.md
index 637d0a70b75f9d73ab5e455400e5be43d60b176b..d457fa325a35b7acd6ffab496e9252dabb98c167 100644 (file)
--- a/docs/RELEASE-PROCEDURE.md
+++ b/docs/RELEASE-PROCEDURE.md
@@ -84,10 +84,8 @@ Coming dates
 Based on the description above, here are some planned release dates (at the
 time of this writing):
 
-- July 11, 2018
-- September 5, 2018
 - October 31, 2018
-- December 26, 2018
+- December 19, 2018
 - February 20, 2019
 - April 17, 2019
 - June 12, 2019