From 60e976a627b213445443952342a8eec7193d9b85 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 8 May 2019 20:57:12 +0200
Subject: Update release process documentation and changelog entry.

---
 doc/changelog/12-misc/09964-changes.rst | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'doc')

diff --git a/doc/changelog/12-misc/09964-changes.rst b/doc/changelog/12-misc/09964-changes.rst
index 1113782180..dd873cfdd5 100644
--- a/doc/changelog/12-misc/09964-changes.rst
+++ b/doc/changelog/12-misc/09964-changes.rst
@@ -8,6 +8,7 @@
   `#9668 <https://github.com/coq/coq/pull/9668>`_,
   `#9939 <https://github.com/coq/coq/pull/9939>`_,
   `#9964 <https://github.com/coq/coq/pull/9964>`_,
+  and `#10085 <https://github.com/coq/coq/pull/10085>`_,
   by Théo Zimmermann,
-  with help and ideas from Emilio Jesús Gallego Arias,
-  Clément Pit-Claudel, Matthieu Sozeau, and Enrico Tassi).
+  with help and ideas from Emilio Jesús Gallego Arias, Gaëtan
+  Gilbert, Clément Pit-Claudel, Matthieu Sozeau, and Enrico Tassi).
-- 
cgit v1.2.3