From 4922a992178eaf9ff3f5880a0162e99f18a1c2fd Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 5 Nov 2021 15:19:06 -0400
Subject: [PATCH] finalize release

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index c7ff8300..a91b88cf 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,7 +3,7 @@ API-breaking change is listed.
 
 ## std++ master
 
-## std++ 1.6.0
+## std++ 1.6.0 (2021-11-05)
 
 Coq 8.14 is newly supported by this release, and Coq 8.10 to 8.13 remain
 supported.
-- 
GitLab