From f795a42c2e06c0f682e022fb25322753742f1d2e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Hinderer?= <Sebastien.Hinderer@inria.fr>
Date: Fri, 15 Jun 2018 09:54:27 +0200
Subject: [PATCH] Changes entry

---
 Changes | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Changes b/Changes
index 9cc5198a5db1..f502c516887d 100644
--- a/Changes
+++ b/Changes
@@ -116,6 +116,9 @@ Working version
   (Sébastien Hinderer, Xavier Leroy and Damien Doligez; review by
   Gabriel Scherer)
 
+- GPR#1840: build system enhancements
+  (Sébastien Hinderer, review by ...)
+
 ### Internal/compiler-libs changes:
 
 - GPR#1745: do not generalize the type of every sub-pattern, only of variables