update changelog

gares · gares · commit fb1ecf06206d · 2023-12-24T14:10:22.000+01:00
diff --git a/Changelog.md b/Changelog.md
@@ -1,5 +1,11 @@
 # Changelog
 
+## [2.0.1] - 24/12/2023
+
+Requires Elpi 1.18.1 and Coq 8.19.
+
+This minor release adds compatibility with Coq 8.19.
+
 ## [2.0.0] - 23/12/2023
 
 Requires Elpi 1.18.1 and Coq 8.18.
