Add changelog entry for ocaml#7357

Signed-off-by: Ali Caglayan <alizter@gmail.com>
Alizter · Mar 21, 2023 · e4ade67 · e4ade67
1 parent a8fb0aa
commit e4ade67
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,11 @@
 Unreleased
 ----------
 
+- `dune coq top` now correctly respects the project root when called from a
+  subdirectory. However, absolute filenames passed to `dune coq top` are no
+  longer supported (due to being buggy) (#7357, fixes #7344, @rlepigre and
+  @Alizter)
+
 - RPC: Ignore SIGPIPE when clients suddenly disconnect (#7299, #7319, fixes
   #6879, @rgrinberg)