Release 3.12

diff --git a/ChangeLog b/ChangeLog
index 65f6728..76d321e 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,4 @@
-SimGrid (3.12) NOT RELEASED; urgency=low
+SimGrid (3.12) stable; urgency=low
 
  The Facelift Release.
 
@@ -118,7 +118,7 @@ SimGrid (3.12) NOT RELEASED; urgency=low
   * Record/Replay: the MC can display a textual representation of a path in the
     execution graph. It can then be replayed outside of the model checker.
 
- -- $date Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
+ -- Mon Oct 12 06:02:41 CEST 2015 Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
 
 SimGrid (3.11) stable; urgency=low
 

diff --git a/NEWS b/NEWS
index 3d6000a..74b0569 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -3,6 +3,7 @@ __   _____ _ __ ___(_) ___  _ __   |___ / / |___ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | __) |
  \ V /  __/ |  \__ \ | (_) | | | |  ___) || |/ __/
   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_|_____|
+                Oct 12 2015
 
 The Facelift Release. Major changes: