From 92a509c9c9ca6ac3bc2ac738893f7196386fcbc3 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 4 Nov 2021 11:06:17 +0100
Subject: [PATCH] Update Authors' lists

---
 opam/opam                       | 2 ++
 src/plugins/gui/help_manager.ml | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/opam/opam b/opam/opam
index 4ca43003a0b..db95f0b0700 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 5219fe6e467..e14c153eccc 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";
-- 
GitLab