From 1d36933a08c062a699cb91cecb81e9199499766e Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Tue, 26 Jul 2022 10:32:32 +0200
Subject: [PATCH] close changelog

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

diff --git a/Changelog.md b/Changelog.md
index f6dbe9848..a96ae198b 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,5 +1,14 @@
 # Changelog
 
+## [1.15.4] - 26-07-2022
+
+Requires Elpi 1.16.5 and Coq 8.16.
+
+- Fix lexical analysis inside quotations error location display
+- Fix drop of universe constraints attached to automatically generates
+  universe levels (eg when `sort (typ X)` is passed to Coq)
+- Fix nix CI
+
 ## [1.15.3] - 20-07-2022
 
 Requires Elpi 1.16.5 and Coq 8.16.