From 7ce94d62771c6b274f2ed5d2fb1c23b9ff22adf7 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Fri, 22 Jun 2018 16:38:32 +0200
Subject: [PATCH] Synchronize authors.
---
AUTHORS | 3 ++-
doc/manual.tex | 29 ++++++++++++++++++++++-------
src/ide/gconfig.ml | 5 +++--
3 files changed, 27 insertions(+), 10 deletions(-)
diff --git a/AUTHORS b/AUTHORS
index e793f5e83..734ab28a5 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -21,9 +21,10 @@ with contributions of
Mikhail Mandrykin
David Mentré
Benjamin Monate
- Kim Nguyen
+ Kim Nguyễn
Thi-Minh-Tuyen Nguyen
Mário Pereira
+ Raphaël Rieu-Helft
Simão Melo de Sousa
Asma Tafat
Piotr Trojanek
diff --git a/doc/manual.tex b/doc/manual.tex
index 0ca3d1316..2ea03ec4b 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -222,13 +222,28 @@ Report any bug to the \why Bug Tracking System:
\subsection*{Acknowledgements}
We gratefully thank the people who contributed to \why, directly or
-indirectly: Romain Bardou, Stefan Berghofer, Sylvie Boldo, Martin
-Clochard, Simon Cruanes, Sylvain Dailler, Cl\'ement Fumex, L\'eon
-Gondelman, David Hauzar, Daisuke Ishii, Johannes Kanig, St\'ephane
-Lescuyer, Mikhail Mandrykin, David Mentr\'e, Sim\~ao Melo de Sousa,
-Benjamin Monate, Kim Nguyen, Thi-Minh-Tuyen Nguyen, M\'ario Pereira,
-Asma Tafat, Piotr Trojanek, Makarius Wenzel.
-
+indirectly:
+Stefan Berghofer,
+Sylvie Boldo,
+Martin Clochard,
+Simon Cruanes,
+Sylvain Dailler,
+Cl\'ement Fumex,
+L\'eon Gondelman,
+David Hauzar,
+Daisuke Ishii,
+Johannes Kanig,
+Mikhail Mandrykin,
+David Mentr\'e,
+Benjamin Monate,
+Kim Nguyen,
+Thi-Minh-Tuyen Nguyen,
+M\'ario Pereira,
+Rapha\"el Rieu-Helft,
+Sim\=ao Melo de Sousa,
+Asma Tafat,
+Piotr Trojanek,
+Makarius Wenzel.
\cleardoublepage
diff --git a/src/ide/gconfig.ml b/src/ide/gconfig.ml
index 21c825f86..633b31b27 100644
--- a/src/ide/gconfig.ml
+++ b/src/ide/gconfig.ml
@@ -611,9 +611,8 @@ let show_about_window () =
"Martin Clochard";
"Simon Cruanes";
"Sylvain Dailler";
- "Jacques-Pascal Deplaix";
"Clément Fumex";
- "Leon Gondelman";
+ "Léon Gondelman";
"David Hauzar";
"Daisuke Ishii";
"Johannes Kanig";
@@ -622,6 +621,8 @@ let show_about_window () =
"Benjamin Monate";
"Kim Nguyễn";
"Thi-Minh-Tuyen Nguyen";
+ "Mário Pereira";
+ "Raphaël Rieu-Helft";
"Simão Melo de Sousa";
"Asma Tafat";
"Piotr Trojanek";
--
GitLab