diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-05-17 02:22:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-17 02:22:35 +0200 |
commit | 72df572fa3224a64189164446101721145c677da (patch) | |
tree | 2dca8625900a9cc6e7ea300f34b43304a75de707 /maintainers | |
parent | bd0a06ad857a6e5310ad048b4d6a8a15bca73eb7 (diff) | |
parent | b364139f2bab76d44970c064ab0160d36f30d54e (diff) |
Merge pull request #122819 from primeos/maintainers-remove-pesterhazy
maintainers: remove pesterhazy
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index c321e4fed72e9..7ded64b489120 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -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"; |