From d17e30f479ecda3a7c3e4e2940616c0a424e85e7 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Wed, 19 Jul 2023 08:13:20 +0200 Subject: [PATCH] Add Pierre Nigron to the authors --- opam | 1 + src/plugins/gui/help_manager.ml | 1 + 2 files changed, 2 insertions(+) diff --git a/opam b/opam index ca6dd2be800..816adfb5214 100644 --- a/opam +++ b/opam @@ -53,6 +53,7 @@ authors: [ "Melody Méaulle" "Benjamin Monate" "Yannick Moy" + "Pierre Nigron" "Anne Pacalet" "Valentin Perrelle" "Guillaume Petiot" diff --git a/src/plugins/gui/help_manager.ml b/src/plugins/gui/help_manager.ml index d0e1fedf9ea..0ac0ab6798b 100644 --- a/src/plugins/gui/help_manager.ml +++ b/src/plugins/gui/help_manager.ml @@ -56,6 +56,7 @@ let show main_ui = "Melody Méaulle"; "Benjamin Monate"; "Yannick Moy"; + "Pierre Nigron"; "Anne Pacalet"; "Valentin Perrelle"; "Guillaume Petiot"; -- GitLab