From a50adb47db55488f15e2f15c707e2424596feecc Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Fri, 26 Mar 2021 17:55:40 +0100
Subject: [PATCH] close changelog

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

diff --git a/Changelog.md b/Changelog.md
index 41d5d50f4..e5bb785bf 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,7 +1,8 @@
 # Changelog
 
-## UNRELEASED
+## [1.9.5] - 26-03-2021
 
+Requires Elpi 1.13 and Coq 8.13.
 
 ### Vernacular
 - Commands, Tactics and Db cannot be declared inside sections or modules