Add @PedroHLC to maintainer-list

2022-05-28 13:13:49 -03:00
parent 7d179051fc
commit df38903e79
1 changed files with 6 additions and 0 deletions
@@ -9860,6 +9860,12 @@
    githubId = 8641;
    name = "Pierre Carrier";
  };
+  pedrohlc = {
+    email = "root@pedrohlc.com";
+    github = "PedroHLC";
+    githubId = 1368952;
+    name = "Pedro Lara Campos";
+  };
  penguwin = {
    email = "penguwin@penguwin.eu";
    github = "penguwin";