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 <[email protected]>
  • Loading branch information
nojb committed Sep 14, 2023
1 parent 7a3bf06 commit 94b02fb
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,9 @@ If you're a contributor, please include your CHANGES entry in a file
`doc/changes/$PR_NAME.md`. At release time, it will be incoporated into the
changelog properly.

- `dune utop` no longer links `utop` in "custom" mode, which should make this
command considerably faster. (#8631, fixes #6894, @nojb)

3.10.0 (2023-07-31)
-------------------

Expand Down

0 comments on commit 94b02fb

Please sign in to comment.