From 3313ced3d7f0a620043cae3c36830600fe255343 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 29 Dec 2023 15:03:44 +0100
Subject: [PATCH] Update Changelog.md

---
 Changelog.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Changelog.md b/Changelog.md
index 4a6edf70d..fe658c18c 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,6 +1,6 @@
 # Changelog
 
-## [2.0.1] - 24/12/2023
+## [2.0.1] - 29/12/2023
 
 Requires Elpi 1.18.1 and Coq 8.19.