From 71e13c3483a9a7cbbb9349758383bb8fb849b56e Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 16 May 2019 16:03:26 +0200
Subject: [PATCH] Complete list of closed bugs.

---
 ChangeLog | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index f739415bd6..0b691adb51 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -24,7 +24,9 @@ Fixed bugs (GH=GitHub; FG=FramaGit):
  - 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#320: Stacktrace: Avoid the backtrace variant of Boost.Stacktrace?
  - GH#326: Valgrind-detected error for join() when energy plugin is activated
 
 ----------------------------------------------------------------------------
-- 
2.20.1