maintainers: add robertrichter

2024-07-19 13:23:38 +02:00
parent 590a4298ea
commit 9399471a1e
1 changed files with 6 additions and 0 deletions
@@ -17392,6 +17392,12 @@
    githubId = 1080963;
    name = "Roberto";
  };
+  robertrichter = {
+    email = "robert.richter@rrcomtech.com";
+    github = "rrcomtech";
+    githubId = 50635122;
+    name = "Robert Richter";
+  };
  robgssp = {
    email = "robgssp@gmail.com";
    github = "robgssp";