diff --git a/CHANGELOG.md b/CHANGELOG.md
index a6dd68403770af80409ca5048d4e468df58d0f22..0f4d979450f8b2e1c8e21994903d77596fe69853 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -22,6 +22,11 @@ lemma.
 * `iInduction` now supports induction schemes that involve `Forall` and
   `Forall2` (for example, for trees with finite branching).
 
+**Changes in `base_logic`:**
+
+* Make the `inG` instances for `libG` fields local, so they are only used inside
+  the library that defines the `libG`.
+
 ## Iris 3.6.0 (2022-01-22)
 
 The highlights and most notable changes of this release are: