From 899e3cd4bba5c6ba0ec6ec60f20acf4ae507fa27 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 31 Aug 2020 20:27:13 +0200
Subject: Adding change log for #12960.

---
 .../12960-master+fix9403-missing-flattening-app-notations.rst     | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 doc/changelog/03-notations/12960-master+fix9403-missing-flattening-app-notations.rst

diff --git a/doc/changelog/03-notations/12960-master+fix9403-missing-flattening-app-notations.rst b/doc/changelog/03-notations/12960-master+fix9403-missing-flattening-app-notations.rst
new file mode 100644
index 0000000000..fc909e7a1d
--- /dev/null
+++ b/doc/changelog/03-notations/12960-master+fix9403-missing-flattening-app-notations.rst
@@ -0,0 +1,8 @@
+- **Fixed:**
+  Issues in the presence of notations recursively referring to another
+  applicative notations, such as missing scope propagation, or failure
+  to use a notation for printing
+  (`#12960 <https://github.com/coq/coq/pull/12960>`_,
+  fixes `#9403 <https://github.com/coq/coq/issues/9403>`_
+  and `#10803 <https://github.com/coq/coq/issues/10803>`_,
+  by Hugo Herbelin).
-- 
cgit v1.2.3