From 08a7857ea55d85464a61b5b4faa5324a79e52d53 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 12 Nov 2024 07:48:14 +0100
Subject: [PATCH] CHANGELOG.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2195be6bc..95dc25cd9 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,6 +3,12 @@ way the logic is used on paper.  We also document changes in the Coq
 development; every API-breaking change should be listed, but not every new
 lemma.
 
+## Iris master
+
+**Changes in `heap_lang`:**
+
+* Add `Inhabited lock_name` to `lock` class. (by Daniel Nezamabadi)
+
 ## Iris 4.3.0 (2024-10-30)
 
 This Iris release mostly features quality-of-life improvements, such as
-- 
GitLab