From 73a0d923563b5ec157d517eb5e8ea1c794be64a9 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 29 Apr 2019 17:24:26 +0200
Subject: Change entry for #10014.

---
 doc/sphinx/changes.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index 441170e419..3b34973306 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -269,6 +269,10 @@ Other changes in 8.10+beta1
   - coq_makefile's install target now errors if any file to install is missing
     (`#9906 <https://github.com/coq/coq/pull/9906>`_, by Gaëtan Gilbert).
 
+  - Preferences from ``coqide.keys`` are no longer overridden by
+    modifiers preferences in ``coqiderc``
+    (`#10014 <https://github.com/coq/coq/pull/10014>`_, by Hugo Herbelin).
+
 - Specification language, type inference:
 
   - Fixing a missing check in interpreting instances of existential
-- 
cgit v1.2.3