From f9bffae824c774b4bbd8961b876287ef46ee643a Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sat, 18 May 2019 15:52:48 +0200 Subject: [PATCH] more bugs got closed --- ChangeLog | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 0b691adb51..b550b01844 100644 --- a/ChangeLog +++ b/ChangeLog @@ -18,14 +18,16 @@ Model-checker: - Remove option 'model-check/record': Paths are recorded in any cases now. Fixed bugs (GH=GitHub; FG=FramaGit): + - FG#1: Broken link in error messages - FG#7: simple cmake call requires doxygen + - FG#8: missing installation documentation - FG#10: Can not use MSG_process_set_data from SMPI any more - 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' - FG#15: Setting -Denable_python=OFF doesn't disable the search for pybind11 - - GH#133: Java : a process can run on a VM even if its host is off + - GH#133: Java: a process can run on a VM even if its host is off - GH#320: Stacktrace: Avoid the backtrace variant of Boost.Stacktrace? - GH#326: Valgrind-detected error for join() when energy plugin is activated -- 2.30.2