maintainers: add gdd

2023-06-30 23:59:59 +00:00
parent 3f79465fca
commit 9c54651749
1 changed files with 6 additions and 0 deletions
@@ -5811,6 +5811,12 @@
    githubId = 81654;
    name = "Damjan Georgievski";
  };
+  gdd = {
+    email = "gabriel.doriath.dohler@ens.fr";
+    github = "gabriel-doriath-dohler";
+    githubId = 40209356;
+    name = "Gabriel Doriath Döhler";
+  };
  gdinh = {
    email = "nix@contact.dinh.ai";
    github = "gdinh";