fix version number in changelog

gares · gares · commit c865bcff3a76 · 2023-10-12T16:06:10.000+02:00
diff --git a/Changelog.md b/Changelog.md
@@ -1,6 +1,6 @@
 # Changelog
 
-## [1.19.2] - 12/10/2023
+## [1.19.3] - 12/10/2023
 
 Requires Elpi 1.16.5 and Coq 8.18.
 
