From 3ba894fcf8453b9e0063bc6acfd28cd074bf577b Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 12 Sep 2019 17:42:47 +0200
Subject: [PATCH] Update Changelog after merging !2361
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index 89126925807..61f02b36d6a 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
Open Source Release <next-release>
##################################
+-* Makefile [2019/09/12] Fixes #2378 - bytecode only compilation (patch
+ contributed by madroach) and use -thread where needed.
-* Kernel [2019/08/20] Fixes a rare but critical bug which occured when
Frama-C internally switched the current project in presence of >2
projects and destroyed the old current project at about the same
--
GitLab