From c513e2340f507c13b627af957997c4a4f9c6ecc8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Wed, 17 Mar 2021 18:43:24 +0100
Subject: [PATCH] close changelog

---
 Changelog.md | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/Changelog.md b/Changelog.md
index 52c83f4f7..a04c1ad26 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,6 +1,13 @@
 # Changelog
 
-## UNRELEASED
+## [1.9.4] - 17-03-2021
+
+Requires Elpi 1.13 and Coq 8.13.
+
+### Elpi
+- Calls to APIs that only read the global state are much faster (thousands of
+  times faster)
+- Fix compilation with OCaml 4.12
 
 ### API
 - Fix issue with `coq.env.add-abbreviation` when given a term with binders
@@ -10,6 +17,8 @@
 
 ## [1.9.3] - 18-02-2021
 
+Requires Elpi 1.13 and Coq 8.13.
+
 ### Elpi
 - Fix issue with async-mode (Elpi commands can change the parser)