From c55f520032492ac203a0533c88ecc6c850217be0 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 15 Sep 2020 19:11:54 +0200
Subject: Adding change log for #13026.

---
 .../03-notations/13026-master+fix-printing-custom-no-level-8.2.rst | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 doc/changelog/03-notations/13026-master+fix-printing-custom-no-level-8.2.rst

(limited to 'doc')

diff --git a/doc/changelog/03-notations/13026-master+fix-printing-custom-no-level-8.2.rst b/doc/changelog/03-notations/13026-master+fix-printing-custom-no-level-8.2.rst
new file mode 100644
index 0000000000..42b62eed75
--- /dev/null
+++ b/doc/changelog/03-notations/13026-master+fix-printing-custom-no-level-8.2.rst
@@ -0,0 +1,7 @@
+- **Fixed:**
+  Fixing printing of notations in custom entries with 
+  variables not mentioning an explicit level
+  (`#13026 <https://github.com/coq/coq/pull/13026>`_,
+  fixes `#12775 <https://github.com/coq/coq/issues/12775>`_
+  and `#13018 <https://github.com/coq/coq/issues/13018>`_,
+  by Hugo Herbelin).
-- 
cgit v1.2.3