Skip to content

Commit

Permalink
Update CHANGES.md
Browse files Browse the repository at this point in the history
Signed-off-by: Andrey Mokhov <andrey.mokhov@gmail.com>
  • Loading branch information
snowleopard authored Mar 24, 2023
1 parent 2acd1b9 commit 43dcf14
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Unreleased
----------

- Dune in watch mode no longer builds concurrent rules in serial (#7395
@rgrinberg, @jchavarri, @snowleopard)
@rgrinberg, @jchavarri, Andrey Mokhov)

- `dune coq top` now correctly respects the project root when called from a
subdirectory. However, absolute filenames passed to `dune coq top` are no
Expand Down

0 comments on commit 43dcf14

Please sign in to comment.