Fix the release date in the release notes

diff --git a/doc/doxygen/inside_release.doc b/doc/doxygen/inside_release.doc
index fd87aeb..6b67773 100644 (file)
--- a/doc/doxygen/inside_release.doc
+++ b/doc/doxygen/inside_release.doc
@@ -23,6 +23,7 @@ Please apply the following checklist before releasing.
 - Release notes in the documentation
   - The content of the future mail is part of the documentation, since
     we won't send mails once gforge is definitly turned off.
+  - The date of the release is marked in the title
 - Tests
   - The "make distcheck" target works (tested by jenkins)
   - All tests pass on everything on ci + AppVeyor

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