From 25cf0fea3d5641fc552996cc665cbc364601349c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicol=C3=A1s=20Ojeda=20B=C3=A4r?= <n.oje.bar@gmail.com>
Date: Fri, 21 Aug 2020 21:18:17 +0200
Subject: [PATCH] CHANGES.md
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
---
 CHANGES.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 70242c6fa8c4..f050283b1b25 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,10 @@
+next
+----
+
+- Record instrumentation backends in dune-package files.  This makes it possible
+  to use instrumentation backends defined in installed libraries (eg via
+  OPAM). (#3735, @nojb)
+
 2.7.0 (13/08/2020)
 ------------------