diff --git a/CHANGELOG.md b/CHANGELOG.md
index 52039d48c2a4f702f66f2b16fc6dae80a84029a3..b36f5bd5e8a1da288fb60f6eee8f617fc4a37e0a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,7 +1,7 @@
 This file lists "large-ish" changes to the std++ Coq library, but not every
 API-breaking change is listed.
 
-## std++ 1.8.0 (2022-08-??)
+## std++ 1.8.0 (2022-08-18)
 
 Coq 8.16 is newly supported by this release, and Coq 8.12 to 8.15 remain
 supported. Coq 8.11 is no longer supported.