maintainers: add polykernel

2021-08-06 23:18:42 -07:00
parent eecc3e332b
commit 75c787a4f0
1 changed files with 6 additions and 0 deletions
@@ -8568,6 +8568,12 @@
    github = "polygon";
    githubId = 51489;
  };
+  polykernel = {
+    email = "81340136+polykernel@users.noreply.github.com";
+    github = "polykernel";
+    githubId = 81340136;
+    name = "polykernel";
+  };
  polyrod = {
    email = "dc1mdp@gmail.com";
    github = "polyrod";