model-checker : fix dot output for smpi examples

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 42fc2cb..c6c0132 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -9,6 +9,7 @@ SimGrid (3.10) NOT RELEASED; urgency=low
  Java:
  * Reintegrate Java to the main archive as desynchronizing these
    package is not acceptable anymore (Java is now considered stable)
+ * Add explicit synchronization facilities through semaphores
  * Bugfix: Task.setDataSize() only changed the C world, not the value
    cached in the Java world