From fcfdefe62e01e5353377ebe3573782ba4d368eeb Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Tue, 22 Mar 2022 12:52:24 +0100 Subject: [PATCH] Fix the release date in the release notes --- doc/doxygen/inside_release.doc | 1 + docs/source/Release_Notes.rst | 6 ++---- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/doc/doxygen/inside_release.doc b/doc/doxygen/inside_release.doc index fd87aeb76b..6b67773d34 100644 --- 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 d77c998a83..6dfa36e369 100644 --- 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 ` 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. -- 2.20.1