From 0e318ee6688a91590a392cc38a9204428820a41d Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 12 Nov 2020 15:57:14 +0100
Subject: Move last changelog entry for 8.12.1.

---
 .../13351-master+search-all-subparts-ident.rst                      | 6 ------
 doc/sphinx/changes.rst                                              | 6 ++++++
 2 files changed, 6 insertions(+), 6 deletions(-)
 delete mode 100644 doc/changelog/07-commands-and-options/13351-master+search-all-subparts-ident.rst

diff --git a/doc/changelog/07-commands-and-options/13351-master+search-all-subparts-ident.rst b/doc/changelog/07-commands-and-options/13351-master+search-all-subparts-ident.rst
deleted file mode 100644
index f3ad6dcaca..0000000000
--- a/doc/changelog/07-commands-and-options/13351-master+search-all-subparts-ident.rst
+++ /dev/null
@@ -1,6 +0,0 @@
-- **Fixed:**
-  :cmd:`Search` supports filtering on parts of identifiers which are
-  not proper identifiers themselves, such as :n:`"1"`
-  (`#13351 <https://github.com/coq/coq/pull/13351>`_,
-  fixes `#13349 <https://github.com/coq/coq/issues/13349>`_,
-  by Hugo Herbelin).
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index f1bcd2fb44..de5dbe79cc 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -1289,6 +1289,12 @@ Changes in 8.12.1
   (`#13301 <https://github.com/coq/coq/pull/13301>`_,
   fixes `#13298 <https://github.com/coq/coq/issues/13298>`_,
   by Hugo Herbelin).
+- **Fixed:**
+  :cmd:`Search` supports filtering on parts of identifiers which are
+  not proper identifiers themselves, such as :n:`"1"`
+  (`#13351 <https://github.com/coq/coq/pull/13351>`_,
+  fixes `#13349 <https://github.com/coq/coq/issues/13349>`_,
+  by Hugo Herbelin).
 
 **Tools**
 
-- 
cgit v1.2.3