maintainers: add dvcorreia

2024-10-15 10:47:09 +01:00
parent 2b62add7cc
commit a69181cb38
1 changed files with 6 additions and 0 deletions
@@ -5841,6 +5841,12 @@
    githubId = 6872940;
    name = "Dennis Værum";
  };
+  dvcorreia = {
+    email = "dv_correia@hotmail.com";
+    name = "Diogo Correia";
+    github = "dvcorreia";
+    githubId = 20357938;
+  };
  dvn0 = {
    email = "git@dvn.me";
    github = "dvn0";