From ff1fe87cc1512e6808b1d06ba2e8e2dbfa50d877 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 19 Nov 2020 17:18:42 +0100
Subject: Fix typo in rst link syntax.

---
 doc/sphinx/changes.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index 4d59fc0513..24fa71059c 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -147,7 +147,7 @@ Specification language, type inference
   This makes typeclasses with declared modes more robust with respect to the
   order of resolution.
   (`#10858 <https://github.com/coq/coq/pull/10858>`_,
-  fixes `#9058 <https://github.com/coq/coq/issues/9058>_`, by Matthieu Sozeau).
+  fixes `#9058 <https://github.com/coq/coq/issues/9058>`_, by Matthieu Sozeau).
 - **Added:**
   Warn when manual implicit arguments are used in unexpected positions
   of a term (e.g. in `Check id (forall {x}, x)`) or when an implicit
-- 
cgit v1.2.3