maintainers: add kr7x

2025-02-13 07:39:42 +01:00
parent 2ee154072b
commit bb7d35e53a
1 changed files with 6 additions and 0 deletions
@@ -12545,6 +12545,12 @@
    githubId = 787421;
    name = "Kevin Quick";
  };
+  kr7x = {
+    name = "Carlos Reyes";
+    email = "carlosreyesml18@gmail.com";
+    github = "K4rlosReyes";
+    githubId = 108368394;
+  };
  kraanzu = {
    name = "Murli Tawari";
    email = "kraanzu@gmail.com";