3.31 is expected in 2022, not last year

diff --git a/docs/source/Release_Notes.rst b/docs/source/Release_Notes.rst
index b553db8..d69a188 100644 (file)
--- a/docs/source/Release_Notes.rst
+++ b/docs/source/Release_Notes.rst
@@ -468,8 +468,10 @@ Also, the algorithm tutorial can now be taken in Python, for those of you alergi
 Finally, on the SMPI front, we introduced a new documentation section on calibrating the SMPI models from your measurements and fixed some issues
 with the replay mechanism.
 
-Version 3.31 (expected spring 2021)
------------------------------------
+Version 3.31 (not released yet)
+-------------------------------
+
+Expected: spring 2022
 
 On the model checking front, the long awaited big bang finally occurred, greatly simplifying future evolution.