From beb5bdec79ff371f48a478df3c24f2cf9d68aa1f Mon Sep 17 00:00:00 2001
From: Jasper Hugunin
Date: Tue, 7 May 2019 15:04:04 -0700
Subject: Use Print Custom Grammar to inspect custom entries

---
 doc/changelog/03-notations/10061-print-custom-grammar.rst | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 doc/changelog/03-notations/10061-print-custom-grammar.rst

(limited to 'doc/changelog')

diff --git a/doc/changelog/03-notations/10061-print-custom-grammar.rst b/doc/changelog/03-notations/10061-print-custom-grammar.rst
new file mode 100644
index 0000000000..8786c7ce6b
--- /dev/null
+++ b/doc/changelog/03-notations/10061-print-custom-grammar.rst
@@ -0,0 +1,4 @@
+- Allow inspecting custom grammar entries by :cmd:`Print Custom Grammar`
+  (`#10061 <https://github.com/coq/coq/pull/10061>`_,
+  fixes `#9681 <http://github.com/coq/coq/pull/9681>`_,
+  by Jasper Hugunin, review by Pierre-Marie Pédrot and Hugo Herbelin).
-- 
cgit v1.2.3