From 10bc4e2a6dc38aba33222f6ac128d6f6ca17f3a1 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 26 Apr 2019 11:16:19 +0200
Subject: [PATCH] release version 1.2.0

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 693f04f1..6079cf56 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.2.0 (released TBA)
+## std++ 1.2.0 (released 2019-04-26)
 
 Coq 8.9 is supported by this release, but Coq 8.6 is no longer supported. Use
 std++ 1.1 if you have to use Coq 8.6. The repository moved to a new location at
-- 
GitLab