From 131ac2af3778a741f5f33e212ef4a57f7a91d20a Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 28 May 2018 15:52:44 +0200
Subject: Add CHANGES entry

---
 CHANGES | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGES b/CHANGES
index ac4f3fa06b..a5a5afcbf4 100644
--- a/CHANGES
+++ b/CHANGES
@@ -53,6 +53,10 @@ Coq binaries and process model
 Changes from 8.8.0 to 8.8.1
 ===========================
 
+Kernel
+
+- Fix a critical bug with cofixpoints and vm_compute/native_compute (#7333).
+
 Notations
 
 - Fixed unexpected collision between only-parsing and only-printing
-- 
cgit v1.2.3