Skip to content

Commit

Permalink
Update CHANGES for #4261 (clean merlin files) (#4285)
Browse files Browse the repository at this point in the history
Signed-off-by: Ulysse Gérard <[email protected]>
  • Loading branch information
voodoos authored Feb 25, 2021
1 parent 20df2de commit ba4809e
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 @@ -69,6 +69,9 @@ Unreleased
library installation directory. This makes the behavior of Dune
simpler and more reproducible (#...., @jeremiedimino)

- Automatically delete left-over Merlin files when rebuilding for the first time
a project previously built with Dune `<= 2.7`. (#4261, @voodoos, @aalekseyev)

2.8.2 (21/01/2021)
------------------

Expand Down

0 comments on commit ba4809e

Please sign in to comment.