Merge branch 'master' of https://framagit.org/simgrid/simgrid

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 8563016dc7cd434f2d7f86e172f7e5a5f4f2fd44..f739415bd609a75b236127aab7f56c6dcc078937 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -23,6 +23,7 @@ Fixed bugs (GH=GitHub; FG=FramaGit):
  - FG#11: Auto-restart actors forget their on_exit behavior
  - FG#12: -Denable_lto=OFF doesn't disable LTO
  - FG#13: Installs unstripped file 'bin/graphicator'
+ - FG#14: Installs the empty directory 'doc/simgrid/html'
  - GH#133: Java : a process can run on a VM even if its host is off
  - GH#326: Valgrind-detected error for join() when energy plugin is activated