Skip to content

Commit

Permalink
CHANGES.md
Browse files Browse the repository at this point in the history
Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
  • Loading branch information
nojb committed Aug 22, 2020
1 parent 2242685 commit 25cf0fe
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
@@ -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)
------------------

Expand Down

0 comments on commit 25cf0fe

Please sign in to comment.