changelog

Signed-off-by: Enrico Tassi <Enrico.Tassi@Inria.fr>
ocaml · Jun 27, 2024 · 17537a8 · 17537a8
1 parent e4f8c4d
commit 17537a8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/changes/10631.md b/doc/changes/10631.md
@@ -0,0 +1,2 @@
+- Don't depend on coq-stdlib being installed when expanding variables
+  of the `coq.version` family (#10631, fixes #10629, @gares)