Synchronize authors.

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

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
 

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";