From b7378fd0ae025cd12de3dc4fcfd93fcdc1916709 Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Wed, 29 Nov 2023 12:04:46 +0100 Subject: [PATCH] Add changelog Signed-off-by: Etienne Millon --- CHANGES.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index d19cb6c64e48..8690d2228e6f 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,8 @@ +3.12.1 (unreleased) +------------------- + +- Revert unintended inclusion of #9280 (@emillon) + 3.12.0 (2023-11-28) ------------------- @@ -40,9 +45,6 @@ - Add `test_` prefix to default test name in `dune init project` (#9257, fixes #9131, @9sako6) -- Add `coqdoc_flags` field to `coq` field of `env` stanza allowing the setting - of workspace-wide defaults for `coqdoc_flags`. (#9280, fixes #9139, @Alizter) - - [coq rules] Be more tolerant when coqc --print-version / --config don't work properly, and fallback to a reasonable default. This fixes problems when building Coq projects with `(stdlib no)` and likely other cases. (#8966, fix