maintainers: remove robert-manchester

2023-11-11 13:07:28 -08:00
parent 84f386b7d1
commit f3d5d7250f
1 changed files with 0 additions and 6 deletions
@@ -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";