Adding change log for #17117

coq · Jan 17, 2023 · f696872 · f696872
1 parent 414a41a
commit f696872
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).