1 files changed, 10 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 090f7c13be..4a7cb8c45e 100644
--- a/CHANGES
+++ b/CHANGES
@@ -7,6 +7,16 @@ Tactics
   functional extensionality in H supposed to be a quantified equality
   until giving a bare equality.
 
+Changes from V8.6beta1 to V8.6
+==============================
+
+Kernel
+
+- Fixed critical bug #5248 in VM long multiplication on 32-bit
+  architectures. Was there only since 8.6beta1, so no stable release impacted.
+
+Other bug fixes in universes, type class shelving,...
+
 Changes from V8.5 to V8.6beta1
 ==============================