maintainers: add giorgiga

2023-05-05 12:19:05 +02:00
parent d4f08c0efb
commit f80cd0a794
1 changed files with 6 additions and 0 deletions
@@ -5695,6 +5695,12 @@
    githubId = 1713676;
    name = "Luis G. Torres";
  };
+  giorgiga = {
+    email = "giorgio.gallo@bitnic.it";
+    github = "giorgiga";
+    githubId = 471835;
+    name = "Giorgio Gallo";
+  };
  GKasparov = {
    email = "mizozahr@gmail.com";
    github = "GKasparov";