From ed4d6411c2ad4d06e8d0308f590085912bc7632e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Robert=20Sch=C3=BCtz?= Date: Thu, 15 Dec 2022 11:16:05 -0800 Subject: [PATCH] maintainers: remove benwbooth They made no commit since 2016. --- maintainers/maintainer-list.nix | 6 ------ 1 file changed, 6 deletions(-) diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 9e9f9e17acb..5e02628b31f 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";