From 43bface707d8e6bbe902709f81dde153544ced3f Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Sat, 14 Jan 2023 20:23:27 +0100
Subject: [PATCH] Adding change log for #17117

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

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
new file mode 100644
index 000000000000..66e082ebda9b
--- /dev/null
+++ 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).