From feb09c2f3ed286829f86ad31425543e6e9a9cec9 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 9 Feb 2021 17:17:29 +0100
Subject: [doc] changelog entry

---
 doc/changelog/03-notations/13840-print-prim.rst | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 doc/changelog/03-notations/13840-print-prim.rst

diff --git a/doc/changelog/03-notations/13840-print-prim.rst b/doc/changelog/03-notations/13840-print-prim.rst
new file mode 100644
index 0000000000..d6e3184662
--- /dev/null
+++ b/doc/changelog/03-notations/13840-print-prim.rst
@@ -0,0 +1,11 @@
+- **Changed:**
+  Flag :flag:`Printing Notations` no longer controls
+  whether strings and numbers are printed raw
+  (`#13840 <https://github.com/coq/coq/pull/13840>`_,
+  by Enrico Tassi).
+
+- **Added:**
+  Flag :flag:`Printing Raw Literals` to control whether
+  strings and numbers are printed raw.
+  (`#13840 <https://github.com/coq/coq/pull/13840>`_,
+  by Enrico Tassi).
-- 
cgit v1.2.3