diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-05-17 02:42:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-17 02:42:24 +0200 |
commit | 700942d2a5fad6321c355513839bb0a7d1d5f4f3 (patch) | |
tree | a35665a112c1517dc0b6761b15376ad3ed7d63d1 /maintainers | |
parent | f66a5695b45afdb95963d6fe5fe445c43a6c1acb (diff) | |
parent | ae02415ee82b0f34cbcabf639335210e5b58a71d (diff) |
Merge pull request #121119 from SuperSandro2000/remove-gnidorah
treewide: remove gnidorah
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 7ded64b489120..c281a9dfc25e0 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3709,12 +3709,6 @@ githubId = 1447245; name = "Robin Gloster"; }; - gnidorah = { - email = "gnidorah@users.noreply.github.com"; - github = "gnidorah"; - githubId = 12064730; - name = "gnidorah"; - }; gnxlxnxx = { email = "gnxlxnxx@web.de"; github = "gnxlxnxx"; |