maintainers: add holymonson

2021-01-24 21:33:11 +08:00
parent 6f94d834a1
commit 99b3d904e7
2 changed files with 7 additions and 0 deletions
@@ -3699,6 +3699,12 @@
    githubId = 896431;
    name = "Chris Hodapp";
  };
+  holymonson = {
+    email = "holymonson@gmail.com";
+    github = "holymonson";
+    githubId = 902012;
+    name = "Monson Shao";
+  };
  hongchangwu = {
    email = "wuhc85@gmail.com";
    github = "hongchangwu";