Adding change log for #17117

coq · May 31, 2023 · 43bface · 43bface
1 parent b79816f
commit 43bface
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).