More accurate contributor list.

Command used: git log v8.5..HEAD --pretty=format:"%an," | sort -k 2 | uniq

with some manual postprocessing for login names,  particles and multiple first names.

1 files changed, 12 insertions, 11 deletions

diff --git a/doc/refman/RefMan-pre.tex b/doc/refman/RefMan-pre.tex
index 29ae51fea..4578bee12 100644
--- a/doc/refman/RefMan-pre.tex
+++ b/doc/refman/RefMan-pre.tex
@@ -1175,24 +1175,25 @@ Matej Košík maintained and greatly improved the continuous integration
 setup and the testing of {\Coq} contributions. He also contributed many
 API improvement and code cleanups throughout the system.
 
-The contributors for this version are C.J. Bell, Yves Bertot, Frédéric
-Besson, Pierre Boutillier, Tej Chajed, Pierre Courtieu, Maxime Dénès,
-Ricky Elrod, Jason Gross, Hugo Herbelin, Sébastien Hinderer, Emilio
-Jesus Gallego Arias, Jacques-Henri Jourdan, Matej Košík, Xavier Leroy,
+The contributors for this version are Bruno Barras, C.J. Bell, Yves
+Bertot, Frédéric Besson, Pierre Boutillier, Tej Chajed, Guillaume
+Claret, Xavier Clerc, Pierre Corbineau, Pierre Courtieu, Maxime Dénès,
+Ricky Elrod, Emilio Jesus Gallego Arias, Jason Gross, Hugo Herbelin,
+Sébastien Hinderer, Jacques-Henri Jourdan, Matej Kosik, Xavier Leroy,
 Pierre Letouzey, Gregory Malecha, Cyprien Mangin, Erik Martin-Dorel,
-Guillaume Melquiond, Pierre-Marie Pédrot, Clément Pit-Claudel, Daniel de
-Rauglaudre, Lionel Rieg, Gabriel Scherer, Matthieu Sozeau, Arnaud
-Spiwack, Paul Steckler, Laurent Théry, Enrico Tassi, Nickolai Zeldovich
-and Théo Zimmermann. The development process was coordinated by Hugo
-Herbelin and Matthieu Sozeau with the help of Maxime Dénès, who was also
-in charge of the release process.
+Guillaume Melquiond, Clément Pit--Claudel, Pierre-Marie Pédrot, Daniel
+de Rauglaudre, Lionel Rieg, Gabriel Scherer, Thomas Sibut-Pinote,
+Matthieu Sozeau, Arnaud Spiwack, Paul Steckler, Enrico Tassi, Laurent
+Théry, Nickolai Zeldovich and Théo Zimmermann. The development process
+was coordinated by Hugo Herbelin and Matthieu Sozeau with the help of
+Maxime Dénès, who was also in charge of the release process.
 
 Many power users helped to improve the design of the new features via
 the bug tracker, the pull request system, the {\Coq} development mailing
 list or the coq-club mailing list. Special thanks to the users who
 contributed patches and intensive brain-storming and code reviews,
 starting with Cyril Cohen, Jason Gross, Robbert Krebbers, Jonathan
-Leivent, Xavier Leroy, Gregory Malecha, Clément Pit-Claudel, Gabriel
+Leivent, Xavier Leroy, Gregory Malecha, Clément Pit--Claudel, Gabriel
 Scherer and Beta Ziliani. It would however be impossible to mention
 exhaustively the names of everybody who to some extent influenced the
 development.