model-checker : comment trigger for state equality detection

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index f458630970aa6392bb204ff9fd2c97f965182d9a..5d4efe5a5092e0d0cafb00ab1cf2f4167d440dea 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -8,6 +8,9 @@ SimGrid (3.9) NOT RELEASED; urgency=low
 
 SimGrid (3.8.1) stable; urgency=low
 
+ The "we are told that some people want to also *install* the simgrid
+ framework" release.
+
  * Add missing file "tesh.1" to the archive.
 
  -- Sat Oct 27 16:12:11 CEST 2012 Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>