Update Changelog.md

LPCIC · Mar 9, 2023 · 08592d9 · 08592d9
1 parent 188b560
commit 08592d9
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Changelog.md b/Changelog.md
@@ -1,9 +1,12 @@
 # Changelog
 
-## UNRELEASED
+## [1.17.1] - 09/03/2023
+
+Requires Elpi 1.16.5 and Coq 8.17.
 
 ### API:
 - New `coq.int->uint63` and `coq.float->float64`
+- Fix bug introduced in 1.17.0 affecting `coq.ltac.call-ltac1`
 
 ## [1.17.0] - 13/02/2023