diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2195be6bc7c20a38bf821ac7bcaf48817abdfedf..95dc25cd913b0eb847d47d0434a9d3a004734329 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