From 1dffce05d5b7b26a890a9d0359e54946e661511b Mon Sep 17 00:00:00 2001
From: Samuel Gruetter
Date: Mon, 19 Apr 2021 14:24:50 -0400
Subject: changelog entry for Ltac2 unify

---
 doc/changelog/04-tactics/14089-ltac2_unify.rst | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 doc/changelog/04-tactics/14089-ltac2_unify.rst

diff --git a/doc/changelog/04-tactics/14089-ltac2_unify.rst b/doc/changelog/04-tactics/14089-ltac2_unify.rst
new file mode 100644
index 0000000000..5887781db9
--- /dev/null
+++ b/doc/changelog/04-tactics/14089-ltac2_unify.rst
@@ -0,0 +1,5 @@
+- **Added:**
+  Ltac2 now has a `unify` tactic
+  (`#14089 <https://github.com/coq/coq/pull/14089>`_,
+  fixes `#14083 <https://github.com/coq/coq/issues/14083>`_,
+  by Samuel Gruetter).
-- 
cgit v1.2.3