From 36b07c2194466ed79977d0195cd6567dd2059d3b Mon Sep 17 00:00:00 2001
From: slrnsc
Date: Mon, 1 Feb 2021 01:05:47 +0000
Subject: Add changelog entry

---
 doc/changelog/09-coqide/13810-shift-return-search-backwards.rst | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 doc/changelog/09-coqide/13810-shift-return-search-backwards.rst

diff --git a/doc/changelog/09-coqide/13810-shift-return-search-backwards.rst b/doc/changelog/09-coqide/13810-shift-return-search-backwards.rst
new file mode 100644
index 0000000000..e78280d91d
--- /dev/null
+++ b/doc/changelog/09-coqide/13810-shift-return-search-backwards.rst
@@ -0,0 +1,3 @@
+- **Added:**
+  Shift-return in the Find dialog now searches backwards (`#13810 <https://github.com/coq/coq/pull/13810>`_,
+  by slrnsc).
-- 
cgit v1.2.3