From ed6e9c78f39fd80f672ea1134f8ad174db25ba80 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Tue, 20 Aug 2024 11:00:48 +0200
Subject: [PATCH] close changelog

---
 CHANGES.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index c0dc32779..75e1d42e5 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,11 @@
+# v1.19.6 (August 2024)
+
+Requires Menhir 20211230 and OCaml 4.08 or above.
+
+- Runtime:
+  - Fix bug in unification code for "automatic intro" (as in the intro tactic)
+    of UVar arguments
+
 # v1.19.5 (July 2024)
 
 Requires Menhir 20211230 and OCaml 4.08 or above.