diff options
| author | ajs124 <git@ajs124.de> | 2022-06-23 01:31:39 +0200 |
|---|---|---|
| committer | ajs124 <git@ajs124.de> | 2022-06-29 00:52:14 +0200 |
| commit | 4272b6439b874679fcc58fc3af9c58b9251eadc1 (patch) | |
| tree | 914a1909d50c2e7dc335d3f57cec2dea782f10d4 /maintainers | |
| parent | e59cb525caf1aa7ebb712615d28f93d1f02e77e9 (diff) | |
maintainers: remove willtim
no github account linked
Diffstat (limited to 'maintainers')
| -rw-r--r-- | maintainers/maintainer-list.nix | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index f8fbaf1714530..cfe024e2b3304 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -13607,10 +13607,6 @@ githubId = 20464732; name = "Willi Butz"; }; - willtim = { - email = "tim.williams.public@gmail.com"; - name = "Tim Philip Williams"; - }; willcohen = { email = "willcohen@users.noreply.github.com"; github = "willcohen"; |