Added mention of mutual records to CHANGES.

1 files changed, 4 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 6ad2cc5483..9f3e4baefd 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.