From e35c8ee028018ae4db69caa6878d7bedd3b52a96 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Thu, 24 Nov 2022 19:01:21 +0100
Subject: [PATCH] CHANGELOG.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2725b0cc9..4a4a6b22b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,6 +5,10 @@ lemma.
 
 ## Iris master
 
+**Changes in `algebra`:**
+
+* Add (basic) support for `gset` and `gset_disj` cameras to `set_solver`.
+
 **Changes in `bi`:**
 
 * Add a construction `bi_tc` to create transitive closures of
-- 
GitLab