diff --git a/CHANGELOG.md b/CHANGELOG.md
index d54c1b8df4a7e22668f5cb8ffa1425437196b659..b448bb0fc2b110e52eca17f87914602bdca6e17a 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.