From 597a8a0e0f1bc50a0f1eb5fbdce52881df14aada Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 27 Nov 2019 18:49:27 +0100
Subject: Correcting unintended changelog message for #11090 (coercion+notation
 regression).

---
 .../03-notations/11090-master+refactoring-application-printing.rst    | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/changelog/03-notations/11090-master+refactoring-application-printing.rst b/doc/changelog/03-notations/11090-master+refactoring-application-printing.rst
index 5c3936073a..4423c2b587 100644
--- a/doc/changelog/03-notations/11090-master+refactoring-application-printing.rst
+++ b/doc/changelog/03-notations/11090-master+refactoring-application-printing.rst
@@ -1 +1,3 @@
-- Fixed #11033: regression in not printing coercions to which is also associated a notation (`#11090 <https://github.com/coq/coq/pull/11090>`_, by Hugo Herbelin).
+- Fixed an 8.10 regression related to the printing of coercions associated to notations
+  (`#11090 <https://github.com/coq/coq/pull/11090>`_,
+  fixes ` #11033 <https://github.com/coq/coq/issues/11033>`_, by Hugo Herbelin).
-- 
cgit v1.2.3