From 6e560df6564ceefda86ddfae12368c1ba3711ef5 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 17 Aug 2022 12:21:28 -0400
Subject: [PATCH] set release date

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 52039d48..b36f5bd5 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.
-- 
GitLab