diff options
| author | Tom Hubrecht <tom@hubrecht.ovh> | 2024-06-21 09:33:44 +0200 |
|---|---|---|
| committer | Tom Hubrecht <tom@hubrecht.ovh> | 2024-06-21 09:33:44 +0200 |
| commit | 36201d4c0247dfff5c2e3d592793cb801f6396ca (patch) | |
| tree | 983f63d1414d90709e7e77e90aa44eeee3125bdc /maintainers | |
| parent | 938372e46ea6cc9849ba5c4481d5d2d30e4e5f60 (diff) | |
maintainers: Remove thubrecht
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 193b4c0349a2..862df4bd201d 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -20031,12 +20031,6 @@ githubId = 1391883; name = "Tom Hall"; }; - thubrecht = { - email = "tom@hubrecht.ovh"; - github = "Tom-Hubrecht"; - githubId = 26650391; - name = "Tom Hubrecht"; - }; Thunderbottom = { email = "chinmaydpai@gmail.com"; github = "Thunderbottom"; |