maintainers: add pshirshov

2021-09-11 16:52:10 +01:00
parent e422b490c5
commit dbd8269eab
1 changed files with 6 additions and 0 deletions
@@ -8806,6 +8806,12 @@
    githubId = 33375;
    name = "Peter Sanford";
  };
+  pshirshov = {
+    email = "pshirshov@eml.cc";
+    github = "pshirshov";
+    githubId = 295225;
+    name = "Pavel Shirshov";
+  };
  psibi = {
    email = "sibi@psibi.in";
    github = "psibi";