From 248047f9671b31f30186d8b084fd803d70a7f6af Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 21 May 2021 15:28:21 +0200
Subject: [PATCH] close changelog

---
 Changelog.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Changelog.md b/Changelog.md
index dc86c4b2f..273d83c89 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,6 +1,6 @@
 # Changelog
 
-## Unreleased
+## [1.10.0] - 21-05-2021
 
 Requires Elpi 1.13.5 and Coq 8.13.