From 342db66cc94a6010a6f301071d251aa458e21547 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 28 Oct 2019 10:47:42 +0100
Subject: Add changelog for #10963.

---
 doc/changelog/03-notations/10963-simplify-parser.rst | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 doc/changelog/03-notations/10963-simplify-parser.rst

diff --git a/doc/changelog/03-notations/10963-simplify-parser.rst b/doc/changelog/03-notations/10963-simplify-parser.rst
new file mode 100644
index 0000000000..8b501aac82
--- /dev/null
+++ b/doc/changelog/03-notations/10963-simplify-parser.rst
@@ -0,0 +1,6 @@
+- A simplification of parsing rules could cause a slight change of
+  parsing precedences for the very rare users who defined notations
+  with `constr` at level stritcly between 100 and 200 and use these
+  notations on the right-hand side of a cast operator (`:`, `:>`,
+  `:>>`) (`#10963 <https://github.com/coq/coq/pull/10963>`_, by Théo
+  Zimmermann, simplification initially noticed by Jim Fehrle).
-- 
cgit v1.2.3