From 26ed9cb34ea5fc84fb086644a03d016817f30a4a Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 6 Jun 2019 22:05:26 +0200
Subject: Update doc/changelog/03-notations/10180-deprecate-notations.rst

Co-Authored-By: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>---
 doc/changelog/03-notations/10180-deprecate-notations.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/changelog/03-notations/10180-deprecate-notations.rst b/doc/changelog/03-notations/10180-deprecate-notations.rst
index 57548513fe..01f2e893ed 100644
--- a/doc/changelog/03-notations/10180-deprecate-notations.rst
+++ b/doc/changelog/03-notations/10180-deprecate-notations.rst
@@ -3,4 +3,4 @@
   deprecated, and its semantics changed. It is now made equivalent to using
   a `deprecated` attribute, and is no longer connected with the `-compat`
   command-line flag.
-  `#10180 <https://github.com/coq/coq/pull/10180>`_, by Maxime Dénès.
+  (`#10180 <https://github.com/coq/coq/pull/10180>`_, by Maxime Dénès).
-- 
cgit v1.2.3