From a6f8243ed2860cc7c9cb051496f1543d981e9f7e Mon Sep 17 00:00:00 2001
From: Hendrik Tews <hendrik@askra.de>
Date: Mon, 19 Feb 2024 17:05:11 +0100
Subject: [PATCH] CHANGES: add entry for
 9b38f844df79eaf77a64c82d21cfdc70351ccc03

---
 CHANGES | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/CHANGES b/CHANGES
index 1e29c5542..b8d846b91 100644
--- a/CHANGES
+++ b/CHANGES
@@ -25,6 +25,11 @@ the Git ChangeLog, the GitHub repo https://github.com/ProofGeneral/PG
     generic changes above.
 
 
+**** New options coq-compile-extra-coqc-arguments and
+     coq-compile-extra-coqdep-arguments to configure additional
+     command line arguments to calls of, respetively, coqc and coqdep
+     during auto compilation.
+
 **** Fix issues #687 and #688 where the omit-proofs feature causes
      errors on correct code.