diff options
| author | Robert Schütz <nix@dotlambda.de> | 2022-12-15 11:16:05 -0800 |
|---|---|---|
| committer | Robert Schütz <github@dotlambda.de> | 2022-12-20 08:02:57 -0800 |
| commit | ed4d6411c2ad4d06e8d0308f590085912bc7632e (patch) | |
| tree | 9d9b1724d5407a86bc18dc78ef8e77fe90323abe /maintainers | |
| parent | c1c6565edcbbd3ca187e38759929eb726a767bf6 (diff) | |
maintainers: remove benwbooth
They made no commit since 2016.
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 9e9f9e17acbe8..5e02628b31fad 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1743,12 +1743,6 @@ githubId = 442623; name = "Ben Pye"; }; - benwbooth = { - email = "benwbooth@gmail.com"; - github = "benwbooth"; - githubId = 75972; - name = "Ben Booth"; - }; berberman = { email = "berberman@yandex.com"; matrix = "@berberman:mozilla.org"; |