maintainers: add GirardR1006

2023-08-17 13:00:07 +02:00
parent 18e6e425b0
commit 02bbd3d845
1 changed files with 6 additions and 0 deletions
@@ -6251,6 +6251,12 @@
    githubId = 471835;
    name = "Giorgio Gallo";
  };
+  GirardR1006 = {
+    email = "julien.girard2@cea.fr";
+    github = "GirardR1006";
+    githubId = 19275558;
+    name = "Julien Girard-Satabin";
+  };
  GKasparov = {
    email = "mizozahr@gmail.com";
    github = "GKasparov";