add new author

669b4859 · Andre Maroneze · 18464506 · 669b4859 · 669b4859
Commit 669b4859 authored 4 years ago by Andre Maroneze
--- a/opam/opam
+++ b/opam/opam
@@ -19,6 +19,7 @@ authors: [
  "Julien Crétin"
  "Pascal Cuoq"
  "Zaynah Dargaye"
+  "Basile Desloges"
  "Jean-Christophe Filliâtre"
  "Philippe Herrmann"
  "Maxime Jacquemin"

--- a/src/plugins/gui/help_manager.ml
+++ b/src/plugins/gui/help_manager.ml
@@ -37,6 +37,7 @@ let show main_ui =
    "Julien Crétin";
    "Pascal Cuoq";
    "Zaynah Dargaye";
+    "Basile Desloges";
    "Jean-Christophe Filliâtre";
    "Philippe Herrmann";
    "Maxime Jacquemin";