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) ------------------