From 5c94645fe5adba8c6150f85c21f722e9337e93a6 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 31 Mar 2023 09:32:39 +0200
Subject: [PATCH] Add Alexander Kogtenkov to authors

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

diff --git a/opam b/opam
index f221a563d28..3e99c4d8e55 100644
--- a/opam
+++ b/opam
@@ -40,6 +40,7 @@ authors: [
   "Philippe Herrmann"
   "Maxime Jacquemin"
   "Florent Kirchner"
+  "Alexander Kogtenkov"
   "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 5a9f2a5d04c..9d08557f5be 100644
--- a/src/plugins/gui/help_manager.ml
+++ b/src/plugins/gui/help_manager.ml
@@ -43,6 +43,7 @@ let show main_ui =
     "Philippe Herrmann";
     "Maxime Jacquemin";
     "Florent Kirchner";
+    "Alexander Kogtenkov";
     "Tristan Le Gall";
     "Jean-Christophe Léchenet";
     "Matthieu Lemerre";
-- 
GitLab