From ba9a61336ca4ad78012566e506eebf343ef1ac1f Mon Sep 17 00:00:00 2001
From: Roberto Di Cosmo <roberto@dicosmo.org>
Date: Sun, 2 May 2021 18:25:54 +0200
Subject: [PATCH] Update changelog

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

diff --git a/CHANGES b/CHANGES
index 7a9f3db..6b04cd3 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,6 @@
+2021/05/02 (RDC)
+        Update dune related files (thanks to Gabriel Radanne).
+        Fixed file descriptor leakage (read pipe end not closed in mapper), reported by Julia Lawall.
 
 2021/04/24 (RDC)
         Include fix in bytearray.ml to avoid corruption on 32bit architectures