diff options
| author | Daniël de Kok <me@danieldk.eu> | 2020-09-20 11:38:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-20 11:38:30 +0200 |
| commit | 770ecb1d3134a7b0e4469eb790836bd837c9f675 (patch) | |
| tree | 4fce5b82661e839d32c1e59b61e334da9e2f7605 /maintainers | |
| parent | 68f4e27857072aca5cfd582c099434cdd90036f0 (diff) | |
| parent | 609e3aa50777ccea330366d3da2245a75a83834c (diff) | |
Merge pull request #98266 from joncojonathan/removeAsMaintainer
Remove joncojonathan as maintainer
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 3b09303f75b1..13a35c5c806d 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -4102,12 +4102,6 @@ githubId = 1843676; name = "Jonathan Reeve"; }; - joncojonathan = { - email = "joncojonathan@gmail.com"; - github = "joncojonathan"; - githubId = 11414454; - name = "Jonathan Haddock"; - }; jonringer = { email = "jonringer117@gmail.com"; github = "jonringer"; |