Merge pull request #122819 from primeos/maintainers-remove-pesterhazy

maintainers: remove pesterhazy
2021-05-17 02:22:35 +02:00
parent bd0a06ad85 b364139f2b
commit 72df572fa3
4 changed files with 3 additions and 9 deletions
@@ -7701,12 +7701,6 @@
    githubId = 152312;
    name = "Periklis Tsirakidis";
  };
-  pesterhazy = {
-    email = "pesterhazy@gmail.com";
-    github = "pesterhazy";
-    githubId = 106328;
-    name = "Paulus Esterhazy";
-  };
  petabyteboy = {
    email = "milan@petabyte.dev";
    github = "petabyteboy";