From 13df68219bf461b6363b8c03703290245690628d Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 15 Feb 2021 18:58:42 +0100
Subject: [PATCH] also mention release managers

---
 CHANGELOG.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b448bb0f..7a39fdb1 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,13 +3,13 @@ API-breaking change is listed.
 
 ## 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.
 
+This release of std++ was managed by Ralf Jung and Robbert Krebbers, with
+contributions by Alix Trieu, Dan Frumin, Hugo Herbelin, Paulo Emílio de Vilhena,
+Simon Friis Vindum, and Tej Chajed.  Thanks a lot to everyone involved!
+
 - Overhaul of the theory of positive rationals `Qp`:
   + Add `max` and `min` operations for `Qp`.
   + Add the orders `Qp_le` and `Qp_lt`.
-- 
GitLab