From 274ed99f9964b802e0a340c39ad69de4cabf37ff Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 22 Mar 2020 15:24:43 +0100
Subject: Change log

Co-Authored-By: Théo Zimmermann <theo.zimmi@gmail.com>
---
 doc/changelog/04-tactics/11877-master+deprecated-_eqn.rst | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 doc/changelog/04-tactics/11877-master+deprecated-_eqn.rst

diff --git a/doc/changelog/04-tactics/11877-master+deprecated-_eqn.rst b/doc/changelog/04-tactics/11877-master+deprecated-_eqn.rst
new file mode 100644
index 0000000000..827d484b28
--- /dev/null
+++ b/doc/changelog/04-tactics/11877-master+deprecated-_eqn.rst
@@ -0,0 +1,5 @@
+- **Removed:**
+  Deprecated syntax `_eqn` for :tacn:`destruct` and :tacn:`remember`.
+  Use `eqn:` syntax instead
+  (`#11877 <https://github.com/coq/coq/pull/11877>`_,
+  by Hugo Herbelin).
-- 
cgit v1.2.3