From 23aa065bbf161d7c0adc6e1a77bd54b45b72f27a Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Sun, 9 Jan 2022 21:16:09 +0100
Subject: [PATCH] update changelog

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

diff --git a/Changelog.md b/Changelog.md
index f81bddc43..1ed500838 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,5 +1,16 @@
 # Changelog
 
+## [1.2.1] - 2022-01-10
+
+Compatible with
+- Coq 8.13 or 8.14 with Coq-Elpi 1.11.x
+- Coq 8.15 with Coq-Elpi 1.12.x
+
+### General
+
+- **Fix** Do not unfold let-ins in instances (speedup)
+- **Fix** Test suite for Coq 8.15
+
 ## [1.2.0] - 2021-09-24
 
 Compatible with