From 8edf5a8e278f0bfa60207fe825a6d993e5be6ec2 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 27 Apr 2019 22:27:40 +0200
Subject: Updating CHANGES.

---
 CHANGES.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index fc7272da65..9a292562ed 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -22,6 +22,9 @@ Coqide
 - CoqIDE now properly sets the module name for a given file based on
   its path, see -topfile change entry for more details.
 
+- Preferences from coqide.keys are no longer overridden by modifiers
+  preferences in coqiderc.
+
 Coqtop
 
 - the use of `coqtop` as a compiler has been deprecated, in favor of
-- 
cgit v1.2.3