From 4f087a9c3139fed092171b70ca9f6470be4bf9c0 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 22 Apr 2016 14:38:01 +0200
Subject: Mention #4548 (fixed) in CHANGES.

---
 CHANGES | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGES b/CHANGES
index e5aa52880a..b400ff1a80 100644
--- a/CHANGES
+++ b/CHANGES
@@ -70,6 +70,7 @@ Other bugfixes
 - #4503: mixing universe polymorphic and monomorphic variables and definitions in sections is unsupported.
 - #4519: oops, global shadowed local universe level bindings.
 - #4506: Anomaly: File "pretyping/indrec.ml", line 169, characters 14-20: Assertion failed.
+- #4548: Coqide crashes when going back one command
 
 Changes from V8.5beta3 to V8.5
 ==============================
-- 
cgit v1.2.3