maintainers: add robbins

2022-11-14 09:37:25 +01:00
parent 4f34f4a863
commit 260fb8b482
1 changed files with 6 additions and 0 deletions
@@ -11791,6 +11791,12 @@
    githubId = 12312980;
    name = "Robbin C.";
  };
+  robbins = {
+    email = "nejrobbins@gmail.com";
+    github = "robbins";
+    githubId = 31457698;
+    name = "Nathanael Robbins";
+  };
  roberth = {
    email = "nixpkgs@roberthensing.nl";
    matrix = "@roberthensing:matrix.org";