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

diff --git a/ChangeLog b/ChangeLog
index af38a7ee48..455983dd86 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -32,6 +32,8 @@ SimGrid (3.12) NOT RELEASED; urgency=low
    For example, a communication is a sort of synchronization involving
    the communicating processes (that may block until the exchange) and
    the platform. The same can be said from computations, etc.
+ * Bug fixes:
+   - #18888: segfault when a process ends before its kill_time
    
  SMPI: 
  * New functions