From bf5584b4128a5b50ba12384d5dda892ae0728154 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Wed, 15 May 2024 11:04:04 +0200
Subject: [PATCH] close changelog

---
 Changelog.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/Changelog.md b/Changelog.md
index f29f1052f..fe51b0b14 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,7 +1,16 @@
 # Changelog
 
+## [2.1.1] - 15/05/2024
+
+Requires Elpi 1.18.2 and Coq 8.19.
+
+### Commands
+- Fix initial synterp state of commands with a synterp phase
+
 ## [2.1.0] - 29/03/2024
 
+Requires Elpi 1.18.2 and Coq 8.19.
+
 ### Commands
 - New `Elpi Accumulate dbname File filename` allows to accumulate a file int a db
 - Change `Elpi Db` now only creates (and initialises) a database for the specified phase