From 9453a8b5a36038b9a2a2adead1e36c3a757d1f55 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 15 Mar 2022 09:37:17 +0100
Subject: [PATCH] CHANGELOG.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0d3f5791..4b39ffc1 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,10 @@
 This file lists "large-ish" changes to the std++ Coq library, but not every
 API-breaking change is listed.
 
+## std++ master
+
+- Make sure that `gset` and `mapset` do not bump the universe.
+
 ## std++ 1.7.0 (2022-01-22)
 
 Coq 8.15 is newly supported by this release, and Coq 8.11 to 8.14 remain
-- 
GitLab