diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-07-04 14:52:07 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-07-04 14:52:07 +0200 |
commit | f8145fda964c089170d54fab8b81432d74e48a8c (patch) | |
tree | ff00aa30ffaa437b884b663af1a1d29986010517 /maintainers/maintainer-list.nix | |
parent | 92eea9d52a059d6e04cbf27e752a59e88b8de5b6 (diff) | |
parent | 515050af7830deecdd85d0e7e8bd3bf73c7fbe14 (diff) |
Merge pull request #324536 from buffet/remove-buffet
maintainers: remove buffet
Diffstat (limited to 'maintainers/maintainer-list.nix')
-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 7eb2f0d8e4ed3..6ef487bcbd535 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -2985,12 +2985,6 @@ githubId = 2379774; name = "Sean Buckley"; }; - buffet = { - email = "niclas@countingsort.com"; - github = "buffet"; - githubId = 33751841; - name = "Niclas Meyer"; - }; bugworm = { email = "bugworm@zoho.com"; github = "bugworm"; |