diff --git a/AUTHORS b/AUTHORS index e793f5e83c13b56d67e0939321f352f6adb6afb8..734ab28a56c9253bb934b029b6ea5b3db816f783 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 0ca3d1316faf2627433f24fab23cb785e4c7cbc0..2ea03ec4b7620f88191a958a0abd41423e5c3331 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 21c825f8683d2055fc4b27afe325f4b4519d0b79..633b31b27c610e16e69d3505fb4858b6a46d680e 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";