maintainers: add gipphe

2025-08-11 00:14:53 +02:00
parent f319b4a5f1
commit 09899697e4
1 changed files with 6 additions and 0 deletions
@@ -9302,6 +9302,12 @@
    githubId = 471835;
    name = "Giorgio Gallo";
  };
+  gipphe = {
+    email = "gipphe@gmail.com";
+    github = "Gipphe";
+    githubId = 2266817;
+    name = "Victor Nascimento Bakke";
+  };
  GirardR1006 = {
    email = "julien.girard2@cea.fr";
    github = "GirardR1006";