From d8fd486b201b0ba0bad21617de3bb7ed3bbba242 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@cea.fr> Date: Fri, 27 Sep 2019 17:32:10 +0200 Subject: [PATCH] Update Changelog after merging !2369 --- Changelog | 1 + 1 file changed, 1 insertion(+) diff --git a/Changelog b/Changelog index 61f02b36d6a..cbaba73e633 100644 --- a/Changelog +++ b/Changelog @@ -17,6 +17,7 @@ Open Source Release <next-release> ################################## +o Config [2019/09/27] ocp-indent 1.7.0 is now used for indentation -* 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 -- GitLab