From abf0d3b56720494646407e77913defae2c14d21a Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Fri, 17 May 2019 16:36:20 +0200 Subject: [PATCH] F comes before G, and correct bug number. --- ChangeLog | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index b550b01844..789eecd010 100644 --- a/ChangeLog +++ b/ChangeLog @@ -17,10 +17,10 @@ SMPI: Model-checker: - Remove option 'model-check/record': Paths are recorded in any cases now. -Fixed bugs (GH=GitHub; FG=FramaGit): +Fixed bugs (FG=FramaGit; GH=GitHub): - FG#1: Broken link in error messages + - FG#2: missing installation documentation - 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 -- 2.20.1