This is v3.13.

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 0afc695..a719ad8 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -91,7 +91,7 @@ endif()
 set(SIMGRID_VERSION_MAJOR "3")
 set(SIMGRID_VERSION_MINOR "13")
 set(SIMGRID_VERSION_PATCH "0")
 set(SIMGRID_VERSION_MAJOR "3")
 set(SIMGRID_VERSION_MINOR "13")
 set(SIMGRID_VERSION_PATCH "0")

-set(SIMGRID_VERSION_EXTRA "-devel") # Extra words to add to version string (e.g. -rc1)
+set(SIMGRID_VERSION_EXTRA "") # Extra words to add to version string (e.g. -rc1)

 
 set(SIMGRID_VERSION_DATE  "2016") # Year for copyright information
 
 
 set(SIMGRID_VERSION_DATE  "2016") # Year for copyright information
 

diff --git a/ChangeLog b/ChangeLog
index 0ef9c34..638bf34 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,4 @@
-SimGrid (3.13) UNRELEASED; urgency=low
+SimGrid (3.13) stable; urgency=low

 
  The Half Release, a.k.a. the Zealous Easter Trim.
  
 
  The Half Release, a.k.a. the Zealous Easter Trim.
  


@@ -128,7 +128,7 @@ SimGrid (3.13) UNRELEASED; urgency=low
  * ongoing process to cleanly separate the model-checking algorithms
    from the code model-checking support.
  
  * ongoing process to cleanly separate the model-checking algorithms
    from the code model-checking support.
  

- -- $date Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
+ -- Wed Apr 27 21:00:53 CEST 2016 Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>

 
 SimGrid (3.12) stable; urgency=low
 
 
 SimGrid (3.12) stable; urgency=low
 

diff --git a/NEWS b/NEWS
index f06cfd1..ca1d63e 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -3,6 +3,7 @@ __   _____ _ __ ___(_) ___  _ __   |___ / / |___ /
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | |_ \
  \ V /  __/ |  \__ \ | (_) | | | |  ___) || |___) |
   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_|____/
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | |_ \
  \ V /  __/ |  \__ \ | (_) | | | |  ___) || |___) |
   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_|____/

+                Apr 27 2016

 
 The Half Release, a.k.a. the Zealous Easter Trim.
 
 
 The Half Release, a.k.a. the Zealous Easter Trim.