1 files changed, 4 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 7ce669b1b..44186d30c 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,10 @@
 Changes from 8.8.2 to 8.9+beta1
 ===============================
 
+Kernel
+
+- Mutually defined records are now supported.
+
 Tactics
 
 - Added toplevel goal selector ! which expects a single focused goal.