maintainers: add pdg137

2026-02-03 08:59:41 -08:00
parent 7a3b7ce5fb
commit f2aea0cf53
1 changed files with 5 additions and 0 deletions
@@ -20498,6 +20498,11 @@
    githubId = 943430;
    name = "David Hagege";
  };
+  pdg137 = {
+    name = "Paul Grayson";
+    github = "pdg137";
+    githubId = 466760;
+  };
  peat-psuwit = {
    name = "Ratchanan Srirattanamet";
    email = "peat@peat-network.xyz";