close changelog

LPCIC · Apr 15, 2021 · a5d73a4 · a5d73a4
1 parent f6516b0
commit a5d73a4
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Changelog.md b/Changelog.md
@@ -1,6 +1,8 @@
 # Changelog
 
-## UNRELEASED
+## [1.9.7] - 15-04-2021
+
+Requires Elpi 1.13.1 and Coq 8.13.
 
 ### Vernacular
 - New attribute `#[skip="rex"]` and `#[only="rex"]` for the