F comes before G, and correct bug number.

diff --git a/ChangeLog b/ChangeLog
index b550b01..789eecd 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -17,10 +17,10 @@ SMPI:
 Model-checker:
  - Remove option 'model-check/record': Paths are recorded in any cases now.
 
 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#1: Broken link in error messages

+ - FG#2: missing installation documentation

  - FG#7: simple cmake call requires doxygen
  - 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#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