X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4a073ae1f3fa87c1517d791028735c0b10d7d0b9..f96797fbc8f3a5f6b0d26fbf899ff25a75323f56:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 11be8636b3..b67daea893 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -5,6 +5,9 @@ SimGrid (3.23.3) NOT RELEASED YET (v3.24 expected September 23. 7:50 UTC)
 SMPI:
  - Fortran bindings for DVFS have been removed.
 
+Model-Checker:
+ - Option model-checker/hash was removed. This is always activated now.
+
 ----------------------------------------------------------------------------
 
 SimGrid (3.23.2) July 8. 2019