From 68421494cbd8d9e2bc8ab2482ee6f34a057b157a Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 22 Jan 2020 17:31:19 +0100
Subject: Insert changelog entry for #11430 from v8.11 branch.

---
 doc/sphinx/changes.rst | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index 473015dea0..294f121cf8 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -573,10 +573,15 @@ Changes in 8.11.0
   and `#11270 <https://github.com/coq/coq/issues/11270>`_, by Frédéric Besson).
 - **Deprecated:**
   The undocumented ``omega with`` tactic variant has been deprecated.
-  Using ``lia`` is the recommended replacement, tho the old semantics
+  Using :tacn:`lia` is the recommended replacement, tho the old semantics
   of ``omega with *`` can be recovered with ``zify; omega``
   (`#11337 <https://github.com/coq/coq/pull/11337>`_,
   by Emilio Jesus Gallego Arias).
+- **Fixed**
+  For compatibility reasons, in 8.11, :tacn:`zify` does not support :g:`Z.pow_pos` by default.
+  It can be enabled by loading explicitly the module :g:`ZifyPow`.
+  (`#11430 <https://github.com/coq/coq/pull/11430>`_ by Frédéric Besson
+  fixes `#11191 <https://github.com/coq/coq/issues/11191>`_).
 
 **Tactic language**
 
-- 
cgit v1.2.3