CHANGELOG.

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