Adding change log for coq#17117

herbelin · May 30, 2023 · 24fa443 · 24fa443
1 parent 89d625a
commit 24fa443
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/doc/changelog/03-notations/17117-master+fix-printing-custom-no-level.rst b/doc/changelog/03-notations/17117-master+fix-printing-custom-no-level.rst
@@ -0,0 +1,4 @@
+- **Added:**
+  Support for :flag:`Printing Parentheses` in custom notations
+  (`#17117 <https://github.com/coq/coq/pull/17117>`_, by Hugo
+  Herbelin).