From a996fb740fa26d899e83a62324f12f62b17c0bc9 Mon Sep 17 00:00:00 2001
From: Simon Friis Vindum
Date: Thu, 3 Dec 2020 10:44:06 +0100
Subject: Fix spelling in warning entry

---
 doc/changelog/07-commands-and-options/13556-master.rst | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 doc/changelog/07-commands-and-options/13556-master.rst

(limited to 'doc/changelog')

diff --git a/doc/changelog/07-commands-and-options/13556-master.rst b/doc/changelog/07-commands-and-options/13556-master.rst
new file mode 100644
index 0000000000..05a60026a3
--- /dev/null
+++ b/doc/changelog/07-commands-and-options/13556-master.rst
@@ -0,0 +1,4 @@
+- **Changed:**
+  The warning `custom-entry-overriden` has been renamed to `custom-entry-overridden` (with two d's).
+  (`#13556 <https://github.com/coq/coq/pull/13556>`_,
+  by Simon Friis Vindum).
-- 
cgit v1.2.3