From 0626df49c72badbb51d2f31eb7d1b1fee22c2638 Mon Sep 17 00:00:00 2001
From: SimonBoulier
Date: Thu, 12 Mar 2020 11:12:48 +0100
Subject: Add changelog

---
 doc/changelog/07-commands-and-options/11795-print_implicit_args.rst | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 doc/changelog/07-commands-and-options/11795-print_implicit_args.rst

diff --git a/doc/changelog/07-commands-and-options/11795-print_implicit_args.rst b/doc/changelog/07-commands-and-options/11795-print_implicit_args.rst
new file mode 100644
index 0000000000..5b0cdb5914
--- /dev/null
+++ b/doc/changelog/07-commands-and-options/11795-print_implicit_args.rst
@@ -0,0 +1,5 @@
+- **Added:**
+  Several commands (`Search`, `About`, ...) now print the implicit arguments
+  in brackets when printing types.
+  (`#11795 <https://github.com/coq/coq/pull/11795>`_,
+  by SimonBoulier).
-- 
cgit v1.2.3