diff --git a/CHANGES.md b/CHANGES.md
index 63964e4c27a..d6d34a1e664 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,4 +1,4 @@
-3.8.1 (unreleased)
+3.8.1 (2023-06-05)
 ------------------
 
 - Fix a crash when using a version of Coq < 8.13 due to the native compiler