Update Changelog.md

CohenCyril · web-flow · commit 94b0e499a32e · 2020-08-08T00:30:25.000+02:00
diff --git a/Changelog.md b/Changelog.md
@@ -1,6 +1,6 @@
 # Changelog
 
-## [0.10.0]
+## [0.10.0] - 2020-08-08
 
 - HB now supports parameters (experimental).
 - Port to Coq-Elpi 1.5.
