From d15f70a8c99598d021b6891a5a107665f867e154 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 20 May 2021 10:56:38 +0200
Subject: [PATCH] add release date to changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0b77231a..91836201 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -32,7 +32,7 @@ s/\bdecide_right\b/decide_False_pi/g
 ' $(find theories -name "*.v")
 ```
 
-## std++ 1.5.0
+## std++ 1.5.0 (2021-02-16)
 
 Coq 8.13 is newly supported by this release, Coq 8.8 and 8.9 are no longer
 supported.
-- 
GitLab