From fd2dd85d18d796027e1c4f9632ddf2555042a459 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Fri, 12 Jul 2024 10:10:13 +0200
Subject: [PATCH] release

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

diff --git a/Changelog.md b/Changelog.md
index 728a11a0b..77d876a0c 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,3 +1,23 @@
+# [2.2.1] - 12/07/2024
+
+Requires Elpi 1.19.2 and Coq 8.19 or Coq 8.20.
+
+### Error reporting
+- Fix type checking errors on inline code are now reported on the correct line
+  in LSP based interfaces
+
+### Build system
+- Fix various missing dependencies
+- Fix rebuild before installation
+- Change CI no more use of docker images
+- Change silence `default-output-directory` warning
+
+### Apps/tc
+- Change organize the code inside a `tc` namespace
+
+### Apps/derive
+- Change do not leak `positive_scope` open
+
 # [2.2.0] - 28/06/2024
 
 Requires Elpi 1.19.2 and Coq 8.19 or Coq 8.20.