From a54fd9e58067bd696cae0d8cc174dc9fae75584c Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Wed, 10 Feb 2021 17:40:44 +0100
Subject: [PATCH] close changelog

---
 Changelog.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Changelog.md b/Changelog.md
index d8c8076a2..b417e3d8c 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,11 +1,11 @@
 # Changelog
 
-## UNRELEASED
+## [1.9.0] - 10-02-2021
 
 Requires Elpi 1.13 and Coq 8.13.
 
 ### HOAS
-- Fix `coq.env.indt-decl` to generate a `record-decl` for records
+- Fix `coq.env.indt-decl` to generate a `record-decl` for records.
 
 ### Elpi
 - Fix issue with the compiler cache when used in async-mode (via CoqIDE or