diff options
author | Rob <86313040+robert-manchester@users.noreply.github.com> | 2023-11-11 12:04:26 -0800 |
---|---|---|
committer | Rob <86313040+robert-manchester@users.noreply.github.com> | 2023-11-11 13:07:28 -0800 |
commit | f3d5d7250fc1fee7dbdc4cb0cc9f44de6bb309a6 (patch) | |
tree | 15f3ceae218d9b78f633dd05f8cbf7f3592098ef /maintainers/maintainer-list.nix | |
parent | 84f386b7d1b74d1ad87260013070bf5a36e80008 (diff) |
maintainers: remove robert-manchester
Diffstat (limited to 'maintainers/maintainer-list.nix')
-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 40c1c894f955c..db93c09af0683 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -15217,12 +15217,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"; |