diff --git a/opam b/opam index 7de11ee3cd614a37296b6dbfce7760899ea8d1cf..305c39d9ae7150a8ad723eb95bdc1a4e95e5bf03 100644 --- a/opam +++ b/opam @@ -23,11 +23,13 @@ authors: [ "Thibaud Antignac" "Gergö Barany" "Patrick Baudin" + "Nicolas Bellec" "Thibaut Benjamin" "Allan Blanchard" "Lionel Blatter" "François Bobot" "Richard Bonichon" + "Vincent Botbol" "Quentin Bouillaguet" "David Bühler" "Zakaria Chihani" @@ -41,6 +43,7 @@ authors: [ "Maxime Jacquemin" "Florent Kirchner" "Alexander Kogtenkov" + "Remi Lazarini" "Tristan Le Gall" "Jean-Christophe Léchenet" "Matthieu Lemerre" diff --git a/src/plugins/gui/help_manager.ml b/src/plugins/gui/help_manager.ml index bc87728afbb63c33b0260431625bd6a2b67396cd..8d8e9732f9608c203d1b12a0911028b19da2b25a 100644 --- a/src/plugins/gui/help_manager.ml +++ b/src/plugins/gui/help_manager.ml @@ -26,11 +26,13 @@ let show main_ui = "Thibaud Antignac"; "Gergö Barany"; "Patrick Baudin"; + "Nicolas Bellec"; "Thibaut Benjamin"; "Allan Blanchard"; "Lionel Blatter"; "François Bobot"; "Richard Bonichon"; + "Vincent Botbol"; "Quentin Bouillaguet"; "David Bühler"; "Zakaria Chihani"; @@ -44,6 +46,7 @@ let show main_ui = "Maxime Jacquemin"; "Florent Kirchner"; "Alexander Kogtenkov"; + "Remi Lazarini"; "Tristan Le Gall"; "Jean-Christophe Léchenet"; "Matthieu Lemerre";