From f73ff6dd836ff096a6023914f60a02ebd10f19c8 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Mon, 13 May 2024 15:02:52 +0200
Subject: [PATCH] [release] Update author list

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

diff --git a/opam b/opam
index 7de11ee3cd6..305c39d9ae7 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 bc87728afbb..8d8e9732f96 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";
-- 
GitLab