maintainers: add polarmutex

2022-05-30 16:28:51 -04:00
parent 741e3c486d
commit 8143329fc8
1 changed files with 6 additions and 0 deletions
@@ -10188,6 +10188,12 @@
    githubId = 10473184;
    name = "Jia Xiaodong";
  };
+  polarmutex = {
+    email = "brian@brianryall.xyz";
+    github = "polarmutex";
+    githubId = 115141;
+    name = "Brian Ryall";
+  };
  polendri = {
    email = "paul@ijj.li";
    github = "polendri";