From 05f8308dbed75ee223b4d0818f1604072cffe671 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 6 Oct 2020 08:34:11 +0200
Subject: Add change log for #13145.

Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>
---
 .../09-coqide/13145-master+coqide-printing-goal-names-support.rst     | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 doc/changelog/09-coqide/13145-master+coqide-printing-goal-names-support.rst

diff --git a/doc/changelog/09-coqide/13145-master+coqide-printing-goal-names-support.rst b/doc/changelog/09-coqide/13145-master+coqide-printing-goal-names-support.rst
new file mode 100644
index 0000000000..f7446cc5aa
--- /dev/null
+++ b/doc/changelog/09-coqide/13145-master+coqide-printing-goal-names-support.rst
@@ -0,0 +1,4 @@
+- **Added:**
+  Support for flag :flag:`Printing Goal Names` in View menu
+  (`#13145 <https://github.com/coq/coq/pull/13145>`_,
+  by Hugo Herbelin).
-- 
cgit v1.2.3