diff --git a/Changelog b/Changelog index 89126925807b1f70a5c6a1ac8265ecad0f82796d..61f02b36d6a38b1d36f374ab4b5cce3c36c2e721 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