From f9c945c00667e65f7baaa646fca6750fa5d341fd Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Tue, 4 Jun 2019 16:21:24 +0200
Subject: [PATCH] bug fixed++

---
 ChangeLog | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ChangeLog b/ChangeLog
index 722d4ca622..769b6745a1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -30,6 +30,7 @@ Fixed bugs (FG=FramaGit; GH=GitHub):
  - FG#2: missing installation documentation
  - FG#3: missing documentation in smpirun
  - FG#7: simple cmake call requires doxygen
+ - FG#8: make python bindings an optional dependency
  - 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