From e4ade6726ed6a4f733424c78c96ad7d3ad5fbf6b Mon Sep 17 00:00:00 2001
From: Ali Caglayan <alizter@gmail.com>
Date: Tue, 21 Mar 2023 17:36:58 +0100
Subject: [PATCH] Add changelog entry for #7357

Signed-off-by: Ali Caglayan <alizter@gmail.com>

<!-- ps-id: 249e1b8d-1f8c-4c9f-8249-449b56918ad9 -->
---
 CHANGES.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 41ce6fb5a92..1be16bb3040 100644
--- 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)