From 5b903d3becf31eaafacd8051a05b5fd2b78b643a Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Mon, 5 Aug 2019 19:10:39 +0200
Subject: [PATCH] Update Changelog after merging !2302

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

diff --git a/Changelog b/Changelog
index 4c9613e3689..356c0d9f00d 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
 Open Source Release <next-release>
 ##################################
 
+o   Ptests    [2019/08/05] Add new MODULE directive for compiling and loading
+              an auxiliary OCaml module for a test
 -   Kernel    [2019/08/05] Add -keep-unused-types normalization option
 -   Libc      [2019/08/05] Remove obsolete (and forcing cpp error) builtins.h
 o!  Kernel    [2019/08/02] Functions over visitor's behaviors have been moved
-- 
GitLab