From 5786207a5019bd73474e3a3d1b0213b8d8545353 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 15 Feb 2021 14:33:44 +0100
Subject: [PATCH] add name list to changelog

---
 CHANGELOG.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index d54c1b8d..b448bb0f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,7 +1,11 @@
 This file lists "large-ish" changes to the std++ Coq library, but not every
 API-breaking change is listed.
 
-## std++ master
+## std++ 1.5.0
+
+This release of Iris received contributions by Alix Trieu, Dan Frumin, Hugo
+Herbelin, Paulo Emílio de Vilhena, Ralf Jung, Robbert Krebbers, Simon Friis
+Vindum, and Tej Chajed.  Thanks a lot to everyone involved!
 
 Coq 8.13 is newly supported by this release, Coq 8.8 and 8.9 are no longer
 supported.
-- 
GitLab