Fix the detection of backtrace

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 6bc40c8..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.
  
@@ -121,13 +121,14 @@ SimGrid (3.13) UNRELEASED; urgency=low
      They throw exceptions on invalid input;
  * C++ support for declaring CLI flags (simgrid::config::Flag);
  * class for abstracting different signal backends (simgrid::xbt::signal).
+   with no external dependencies (we need very simple signals).
 
  MC
  * refactoring and cleanup of the code;
  * 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