Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index ab45e94..4129926 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -18,6 +18,9 @@ SimGrid (3.18) NOT RELEASED YET (target: December 24 2017)
  XML
  - Remove the undocumented/untested tag <include>
 
+ TRACE
+ - Remove viva specific tracing as the tool is no longer maintained
+
 SimGrid (3.17) Released October 8 2017
 
  The Drained Leaks release: (almost) no known leaks despite the tests.