diff options
author | Pierre Bourdon <delroth@gmail.com> | 2023-11-12 05:34:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-12 05:34:13 +0100 |
commit | b07a29c8fc41bed7e24c3092eb5c55b0e594f03c (patch) | |
tree | acfd4375f9c1d814fdb5484d11002f6bc9a8d736 /maintainers | |
parent | 18cb9535fa54422737c4e2517d86cf90214f60cf (diff) | |
parent | f3d5d7250fc1fee7dbdc4cb0cc9f44de6bb309a6 (diff) |
Merge pull request #266904 from robert-manchester/maintainer_leave
remove myself from maintainers list
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 d8c21fba763a9..3c12412e7a645 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -15264,12 +15264,6 @@ githubId = 496447; name = "Robert Hensing"; }; - robert-manchester = { - email = "robert.manchester@gmail.com"; - github = "robert-manchester"; - githubId = 86313040; - name = "Robert Manchester"; - }; robertodr = { email = "roberto.diremigio@gmail.com"; github = "robertodr"; |