close changelog

LPCIC · Feb 10, 2021 · a54fd9e · a54fd9e
1 parent 9adc91f
commit a54fd9e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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