diff --git a/opam/opam b/opam/opam index 4ca43003a0b54d07e8ae15487b96b8e804b582aa..db95f0b0700355120c93b58ededc89bd5e6becf0 100644 --- a/opam/opam +++ b/opam/opam @@ -23,6 +23,7 @@ authors: [ "Thibaud Antignac" "Gergö Barany" "Patrick Baudin" + "Thibaut Benjamin" "Allan Blanchard" "Lionel Blatter" "François Bobot" @@ -57,6 +58,7 @@ authors: [ "Dario Pinto" "Virgile Prevosto" "Armand Puccetti" + "Félix Ridoux" "Virgile Robles" "Muriel Roger" "Julien Signoles" diff --git a/src/plugins/gui/help_manager.ml b/src/plugins/gui/help_manager.ml index 5219fe6e467866cedd798ab3d2c9cf17b05ea1d0..e14c153eccc479dec49c1db55a01aded909ed897 100644 --- a/src/plugins/gui/help_manager.ml +++ b/src/plugins/gui/help_manager.ml @@ -26,6 +26,7 @@ let show main_ui = "Thibaud Antignac"; "Gergö Barany"; "Patrick Baudin"; + "Thibaut Benjamin"; "Allan Blanchard"; "Lionel Blatter"; "François Bobot"; @@ -60,6 +61,7 @@ let show main_ui = "Dario Pinto"; "Virgile Prevosto"; "Armand Puccetti"; + "Félix Ridoux"; "Virgile Robles"; "Muriel Roger"; "Julien Signoles";