diff --git a/opam b/opam index f221a563d28604d800206a45629726462bb97aff..3e99c4d8e557f9f68b9b50f8ffb89125f3521478 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 5a9f2a5d04cae97f1fb2b0a96af33e62b3c49efe..9d08557f5be500e6d7a3bfb2bd634388664e8b5f 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";