From 24651e3b840b58d3bcf7efb1fa6af4da603a0863 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 4 Dec 2019 14:19:26 +0100
Subject: Update
 doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst

OK, thanks.

Co-Authored-By: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>---
 ...-master+fix11231-missing-variable-pattern-matching-decompilation.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst b/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst
index ad240ea30b..941469d698 100644
--- a/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst
+++ b/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst
@@ -2,5 +2,5 @@
   A dependency was missing when looking for default clauses in the
   algorithm for printing pattern matching clauses (`#11233
   <https://github.com/coq/coq/pull/11233>`_, by Hugo Herbelin, fixing
-  `#11231 <https://github.com/coq/coq/pull/11231>`, reported by Barry
+  `#11231 <https://github.com/coq/coq/pull/11231>`_, reported by Barry
   Jay).
-- 
cgit v1.2.3